BEST: A symbolic testing tool for predicting multi-threaded program failures

Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Fingerprint

Dive into the research topics of 'BEST: A symbolic testing tool for predicting multi-threaded program failures'. Together they form a unique fingerprint.

Engineering & Materials Science