Login / Signup
Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict Dependencies.
Valerio Terragni
Mauro Pezzè
Francesco Adalberto Bianchi
Published in:
ICST (2019)
Keyphrases
</>
test generation
code coverage
test cases
symbolic execution
test sequences
design automation
test suite
static analysis
quality assurance
conflict resolution
software testing
database
mutation testing
quality control
image quality
relational databases
high quality
computer vision
machine learning