A Personal Retrospective on Symbolic Execution
The 1976 paper describes the early development of a Symbolic Execution systems including some of the software engineering challenges, before internet communication and interactive computing were the norm. It describes the early expectations for such systems and contrasts those with the actual benefits and difficulties that arose. It also describes some of the surprising lessons learned.
Authors
- Lori A. Clarke
Institutions
- University of Massachusetts Amherst (US)
Publication Details
- Journal
- IEEE Transactions on Software Engineering
- Published
- 2025-02-13
- DOI
- https://doi.org/10.1109/tse.2025.3536898
- Citations
- 1
- Primary Topic
- Terrorism, Counterterrorism, and Political Violence
- Type
- article
- Field-Weighted Citation Impact
- 4.20