Login / Signup
BEST: A symbolic testing tool for predicting multi-threaded program failures.
Malay K. Ganai
Nipun Arora
Chao Wang
Aarti Gupta
Gogul Balakrishnan
Published in:
ASE (2011)
Keyphrases
</>
multi threaded
test cases
multi core processors
operating system
information flow
computer architecture
similarity search
information systems
computational intelligence
markov random field
access control
fine grained