Theoretical and Empirical Studies of Program Testing.
William E. HowdenPublished in: IEEE Trans. Software Eng. (1978)
Keyphrases
- empirical studies
- test cases
- symbolic execution
- real world data sets
- search based software testing
- empirical analysis
- concurrent programs
- static analysis
- theoretical analysis
- uci datasets
- computer programs
- experimental design
- test generation
- high level
- test suite
- neural network
- theoretical basis
- test data
- multi agent
- knowledge base
- machine learning