Automated Random Testing to Detect Specification-Code Inconsistencies.
Yoonsik CheonPublished in: SETP (2007)
Keyphrases
- code generation
- unit testing
- test case generation
- search based testing
- detection algorithm
- software testing
- test cases
- test data generation
- source code
- semi automated
- formal verification
- automatic detection
- detection method
- symbolic execution
- tool suite
- concurrent programs
- test generation
- neural network
- static analysis
- uniformly distributed
- knowledge base
- database
- java programs
- complex background
- test suite
- fully automated
- video sequences
- search engine