Using unfoldings in automated testing of multithreaded programs.
Kari KähkönenOlli SaarikiviKeijo HeljankoPublished in: ASE (2012)
Keyphrases
- symbolic execution
- semi automated
- search based testing
- multi user
- concurrent programs
- fully automatic
- information systems
- computer aided
- automated analysis
- test generation
- automatic programming
- test cases
- test data
- logic programs
- databases
- object oriented
- intermediate level
- hidden markov models
- expert systems
- set of test cases