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