Summary of dynamically discovering likely program invariants
- 13 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Summary of dynamically discovering likely program invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Quickly detecting relevant program invariantsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Dynamically discovering likely program invariants to support program evolutionIEEE Transactions on Software Engineering, 2001
- Dynamically discovering likely program invariants to support program evolutionPublished by Association for Computing Machinery (ACM) ,1999
- The Science of ProgrammingPublished by Springer Nature ,1981