Yanyan's Wiki 软件工程研究入门 (2022)

FM Paper Presentation Session

Session Chair

  • TBD

Speakers:

  1. (李苏菀) Symbolic execution and program testing, 1976.
  2. (陈恒杰) Model checking for programming languages using VeriSoft. POPL'97.
  3. (王加益) KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI'08.
  4. (李煦阳) Angelix: Scalable multiline program patch synthesis via symbolic analysis. ICSE'16.
Creative Commons License    苏 ICP 备 2020049101 号