Efficient State Merging in Symbolic Execution

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. Efficient State Merging in Symbolic Execution. In Wilhelm Hasselbring, Nils Christian Ehmke, editors, Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar - 28. Februar 2014, Kiel, Deutschland. Volume 227 of LNI, pages 45-46, GI, 2014.

Abstract

Abstract is missing.