Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan. BEST: A symbolic testing tool for predicting multi-threaded program failures. In Perry Alexander, Corina S. Pasareanu, John G. Hosking, editors, 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. pages 596-599, IEEE, 2011. [doi]
Abstract is missing.