Login / Signup
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