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