An Automated Program Testing Methodology and Its Implementation.
Dorothy M. AndrewsJeoffrey P. BensonPublished in: ICSE (1981)
Keyphrases
- test cases
- model based testing
- embedded software
- implementation details
- efficient implementation
- hardware implementation
- software development
- semi automatic
- symbolic execution
- object oriented
- real time
- decision trees
- design methodology
- static analysis
- data mining
- implementation issues
- neural network
- control program
- data sets