Program testing techniques using simulated execution.
Leon J. OsterweilLloyd D. FosdickPublished in: ANSS (1976)
Keyphrases
- symbolic execution
- program execution
- test cases
- execution traces
- testing process
- control flow
- static analysis
- test generation
- test suite
- software testing
- test data generation
- data flow
- data mining
- concurrent programs
- relational databases
- set of test cases
- control program
- data sets
- application programs
- simulation model
- software systems
- data model
- decision trees
- machine learning
- real world