Software Specialization Via Symbolic Execution.
Alberto Coen-PorisiniFlavio De PaoliCarlo GhezziDino MandrioliPublished in: IEEE Trans. Software Eng. (1991)
Keyphrases
- symbolic execution
- test data generation
- source code
- static analysis
- test cases
- test generation
- software development
- software systems
- simulated annealing algorithm
- software testing
- data flow
- databases
- specification language
- software projects
- software architecture
- open source
- high level
- test suite
- general purpose
- object oriented
- data sets