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

 

I'm really surprised at the high price because here in Jamaica I always buy fake shoes for around 00jamaican dollars which is usd! all the shoes here are made in China of course, and cost less than the ones in your Blog
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