A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections.
Glenford J. MyersPublished in: Commun. ACM (1978)
Keyphrases
- concurrent programs
- symbolic execution
- static analysis
- program understanding
- test cases
- source code
- program code
- computer programs
- java programs
- code generation
- dynamic analysis
- test suite
- test generation
- mixed mode
- search based software testing
- unit testing
- control flow
- computer controlled
- test data generation
- set of test cases
- neural network
- data flow
- test set
- control program
- web applications
- database systems
- high level
- knowledge base
- artificial intelligence
- program slicing
- information retrieval