FM Paper Presentation Session
Session Chair
- 蒋炎岩
Speakers:
- (侍林天) Symbolic execution and program testing, 1976.
- (孙泽雯) Model checking for programming languages using VeriSoft. POPL'97.
- (何伟) KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI'08.
- (韩姚梦希) Angelix: Scalable multiline program patch synthesis via symbolic analysis. ICSE'16.