Automating Greybox System-Level Test Generation.

Denis Schwachhofer Maik Betka Steffen Becker Stefan Wagner Matthias Sauer Ilia Polian

Published in: ETS (2023)

Keyphrases

test generation
test cases
test sequences
design automation
quality assurance
static analysis
symbolic execution
artificial intelligence
case study
software development