• Home
  • Search
  • Automatically Engineering Trusted Software: A Research Roadmap
  • https://doi.org/10.1145/3779132Copy DOI Icon

Automatically Engineering Trusted Software: A Research Roadmap

Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Recent advances in automated programming have the potential to reduce human involvement in the software engineering process, but this can lead to less trustworthy software. We envision a three-pronged approach to automating the engineering of trustworthy software that involves (1) eliciting requirements from users and automatically generating formal specifications encoding users’ intent, (2) automatically synthesizing source code conforming to those specifications, and (3) automatically synthesizing formal proofs to verify the correctness of the produced software. We describe this vision and the state of the art in each of these three areas, and the research challenges that must be overcome in each area and in their integration.

Similar Papers
  • Research Article
  • Citations8

The Software Process - What It Is, And HowTo Improve It

  • Jan 01, 1970
  • WIT Transactions on Information and Communication Technologies
  • Sami Zahran
  • Conference Instance
  • Citations3

Proceedings of the 2015 International Conference on Software and System Process

  • Aug 24, 2015
  • Ross Jeffery +3
  • Book Chapter

Software Engineering, Process Improvement, and Experience Management

  • Jan 01, 2013
  • Neeraj Sharma +2
  • Research Article
  • Citations1

The Role of Empathy in Software Engineering - A Socio-Technical Grounded Theory

  • Sep 17, 2025
  • ACM Transactions on Software Engineering and Methodology
  • Hashini Gunatilake +3
  • Research Article
  • Citations1

Summary of the International Conference on Software and System Processes (ICSSP 2018)

  • Jan 02, 2019
  • ACM SIGSOFT Software Engineering Notes
  • Marco Kuhrmann +4
  • Conference Article
  • Citations36

Application of 80/20 rule in software engineering Waterfall Model

  • Aug 01, 2009
  • Muzaffar Iqbal +1
  • Research Article
  • Citations67

Process-Centered Software Engineering Environments, A Brief History and Future Challenges

  • Dec 01, 2002
  • Annals of Software Engineering
  • Volker Gruhn
  • Conference Article
  • Citations18

Yoopeedoo (UPEDU): a process for teaching software process

  • Feb 19, 2001
  • P.N Robillard +2
  • Book Chapter
  • Citations1

Overview of Software Processes and Software Evolution

  • Jan 01, 2008
  • Tong Li
  • Research Article
  • Citations3

Using system dynamics to teach about dependencies, correlation and systemic thinking on the software process workflows

  • Jun 23, 2021
  • IET Software
  • German‐Lenin Dugarte‐Peña +4
  • Conference Article
  • Citations44

The software engineering process: definition and scope

  • Jan 01, 1988
  • W S Humphrey
  • Conference Article
  • Citations14

Towards game-based simulation as a method of teaching software engineering

  • Nov 06, 2002
  • E Oh +1
  • Conference Article
  • Citations9

Risk Management in the Trustworthy Software Process: A Novel Risk and Trustworthiness Measurement Model Framework

  • Jan 01, 2009
  • Minglu Li +3
  • Conference Article
  • Citations3

Ethics-aware software engineering

  • May 27, 2018
  • Fatma Başak Aydemir +1
  • Research Article
  • Citations10

Artificial Intelligence for Software Engineering: The Journey So Far and the Road Ahead

  • May 28, 2025
  • ACM Transactions on Software Engineering and Methodology
  • Iftekhar Ahmed +8
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.