Unfolding based automated testing of multithreaded programs.
Kari KähkönenOlli SaarikiviKeijo HeljankoPublished in: Autom. Softw. Eng. (2015)
Keyphrases
- symbolic execution
- search based testing
- test data generation
- multi user
- computer assisted
- fully automated
- petri net
- computer programs
- databases
- concurrent programs
- programming environment
- data sets
- virtual environment
- test data
- data structure
- information systems
- information retrieval
- object oriented
- software testing
- test set
- fixpoint
- test generation
- machine learning
- neural network
- set of test cases
- data driven