Parallel symbolic execution for automated real-world software testing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Stefan Bucur' in GoogleThis author has not been identified. Look up 'Vlad Ureche' in GoogleThis author has not been identified. Look up 'Cristian Zamfir' in GoogleThis author has not been identified. Look up 'George Candea' in Google

runs on WebDSL