Pex4Fun: A web-based environment for educational gaming via automated test generation.

Nikolai Tillmann Jonathan de Halleux Tao Xie Judith Bishop

Published in: ASE (2013)

Keyphrases

symbolic execution
test generation
test cases
computer games
educational games
design automation
static analysis
test data generation
test sequences
source code
quality assurance
specification language
virtual environment
serious games
code coverage
genetic algorithm
video games
knowledge management