Statically driven generation of concurrent tests for thread-safe classes.

Valerio Terragni Mauro Pezzè

Published in: Softw. Test. Verification Reliab. (2021)

Keyphrases

image processing
data structure
case study
data driven
data sets
decision trees
image sequences
multiscale
pairwise
mobile robot
programming language
constraint satisfaction problems
mutual exclusion
class hierarchy