Login / Signup
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.
Koushik Sen
Gul Agha
Published in:
Haifa Verification Conference (2006)
Keyphrases
</>
search space
fine grained
multi threaded
database systems
computational complexity
real time
general purpose
low cost
computing systems