SnapCheck: Automated Testing for Snap Programs.
Wengran WangChenhao ZhangAndreas StahlbauerGordon FraserThomas W. PricePublished in: CoRR (2021)
Keyphrases
- search based testing
- symbolic execution
- semi automated
- test cases
- fully automated
- computer programs
- test set
- test data generation
- software testing
- data sets
- control structures
- automatic programming
- intermediate level
- automated analysis
- fully automatic
- test data
- information systems
- machine learning
- database
- semi automatic
- case study
- databases
- concurrent programs
- set of test cases
- search algorithm