@inproceedings{eb5ef6cc77e84c3bb9c0953bb7588de8,
title = "BEST: A symbolic testing tool for predicting multi-threaded program failures",
abstract = "We present a tool BEST (Binary instrumentation-based Error-directed Symbolic Testing) for predicting concurrency violations. We automatically infer potential concurrency violations such as atomicity violations from an observed run of a multi-threaded program, and use precise modeling and constraint-based symbolic (non-enumerative) search to find feasible violating schedules in a generalization of the observed run. We specifically focus on tool scalability by devising POR-based simplification steps to reduce the formula and the search space by several orders-of-magnitude. We have successfully applied the tool to several publicly available C/C++/Java programs and found several previously known/unknown concurrency related bugs. The tool also has extensive visual support for debugging.",
author = "Ganai, {Malay K.} and Nipun Arora and Chao Wang and Aarti Gupta and Gogul Balakrishnan",
year = "2011",
doi = "10.1109/ASE.2011.6100134",
language = "English (US)",
isbn = "9781457716393",
series = "2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings",
pages = "596--599",
booktitle = "2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings",
note = "2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 ; Conference date: 06-11-2011 Through 10-11-2011",
}