From CS260r 2015
Jump to: navigation, search

We won’t by any means read all these papers.

Static analyzers

Testing and fuzzing

  • Taming Compiler Fuzzers, Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, and John Regehr, Proc. PLDI 2013
  • Swarm Testing, Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr, Proc. ISSTA 2012

Software contracts

Language extensions

System design for robustness

Undefined behavior