Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. Efficient state merging in symbolic execution. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 193-204, ACM, 2012. [doi]