Program Testing by Specification Mutation.
Timothy A. BuddAjei S. GopalPublished in: Comput. Lang. (1985)
Keyphrases
- test cases
- test case generation
- symbolic execution
- genetic algorithm
- evolutionary algorithm
- specification language
- computer programs
- fitness function
- software testing
- control flow
- control program
- formal verification
- formal specification
- test suite
- high level
- database
- search based software testing
- static analysis
- high level programming language
- differential evolution
- programming environment
- conceptual model
- population size
- dynamic analysis
- test generation
- java programs
- program execution
- genetic algorithm ga
- programming language
- artificial intelligence
- concurrent programs
- set of test cases
- databases
- real time