Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem.
Lionel C. BriandPublished in: MSEPT (2012)
Keyphrases
- test data generation
- symbolic execution
- search algorithm
- test generation
- test cases
- search efficiency
- computer systems
- formal verification
- software testing
- search space
- formal methods
- search based software testing
- test suite
- quality assurance
- search strategy
- source code
- concurrent programs
- information seeking
- website
- search strategies
- testing process
- user interface