ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps.

Edmund S. L. Lam Peilun Zhang Bor-Yuh Evan Chang

Published in: CoRR (2017)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
software testing
static analysis
mutation testing
quality assurance
computer graphics
cooperative
test data generation
artificial intelligence
vision system
pattern matching