The role of symbolic execution in software maintenance.
P. David CowardDarrel C. IncePublished in: J. Softw. Maintenance Res. Pract. (1991)
Keyphrases
- software maintenance
- symbolic execution
- source code
- software systems
- static analysis
- reverse engineering
- software development and maintenance
- software engineering
- test generation
- software engineers
- test data generation
- object oriented systems
- program comprehension
- specification language
- software projects
- maintenance activities
- program understanding
- software evolution
- open source
- test cases
- maturity model
- data flow
- software testing
- formal specification
- information technology
- training data