Research Track session




Symbolic Execution
June 6th, Friday, 2:00 pm - 4:00 pm
Session Chair: Michael Whalen
Room: Hall 1


2:00 - 2:30 Patch Verification via Multi-version Inter-procedural Control Flow Graph
Wei Le and Shannon Pattison
Rochester Institute of Technology, USA
2:30 - 3:00 Property Differencing for Incremental Checking
Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta
Texas State University, USA; University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA
3:00 - 3:30 Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He, Bow-Yaw Wang, Liangze Yin, and Lei Zhu
Tsinghua University, China; Academia Sinica, Taiwan
3:30 - 4:00 Enhancing Symbolic Execution with Veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley
Carnegie Mellon University, USA