ChimpCheck: property-based randomized test generation for interactive apps.
Edmund S. L. LamPeilun ZhangBor-Yuh Evan ChangPublished in: Onward! (2017)
Keyphrases
- test generation
- test cases
- design automation
- symbolic execution
- test sequences
- quality assurance
- static analysis
- mutation testing
- data sets
- code coverage
- test data generation
- regression testing
- high quality
- open source
- user interaction
- software testing
- mobile applications
- computer graphics
- pattern matching
- computer vision
- artificial intelligence