Enhancing Acceptance Test-Driven Development with Model-Based Test Generation.

Rudolf Ramler Claus Klammer

Published in: QRS Companion (2019)

Keyphrases

test generation
test driven development
test cases
symbolic execution
software development
test sequences
design automation
software testing
quality assurance
static analysis
mutation testing
real world
integrity constraints
high frequency
regression testing
software engineering
case study
information systems