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.