Parallel symbolic execution for automated real-world software testing.

Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea

Browse the full EuroSys paper archive.