Efficient state merging in symbolic execution (extended abstract)

Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George (2014): Efficient state merging in symbolic execution (extended abstract). Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 45-46. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014