Login / Signup
Exploiting the synergy between automated-test-generation and programming-by-contract.
Michael Barnett
Manuel Fähndrich
Peli de Halleux
Francesco Logozzo
Nikolai Tillmann
Published in:
ICSE Companion (2009)
Keyphrases
</>
test generation
test cases
test sequences
symbolic execution
static analysis
design automation
mutation testing
quality assurance
software testing
programming language
databases
machine learning
learning algorithm
video sequences
programming course
regression testing