Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea. Parallel symbolic execution for automated real-world software testing. In Christoph M. Kirsch, Gernot Heiser, editors, European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, alzburg, Austria - April 10-13, 2011. pages 183-198, ACM, 2011. [doi]
Abstract is missing.