Sign in
Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection.
Jialin Yang
W. K. Chan
Published in:
COMPSAC Workshops (2016)
Keyphrases
</>
test cases
real world
dynamic environments
case study
real time
machine learning
information systems
data structure
search algorithm
software systems
concurrency control
data abstraction