Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution).

Marek Chalupa Jakub Novák Jan Strejcek

Published in: FASE (2021)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
quality assurance
software testing
mutation testing
parallel processing
static analysis
shared memory
databases
case study
machine learning
pattern matching
data model
real world