Surviving sensor network software faults. - Yang Chen 024; Omprakash Gnawali; Maria A. Kazandjieva; Philip Alexander Levis; John Regehr (SOSP, 2009)

Finding and understanding bugs in C compilers. - Xuejun Yang; Yang Chen 024; Eric Eide; John Regehr (PLDI, 2011)

Swarm testing. - Alex Groce; Chaoqiang Zhang; Eric Eide; Yang Chen 024; John Regehr (ISSTA, 2012)

Test-case reduction for C compiler bugs. - John Regehr; Yang Chen 024; Pascal Cuoq; Eric Eide; Chucky Ellison; Xuejun Yang (PLDI, 2012)

Help, help, i'm being suppressed! The significance of suppressors in software testing. - Alex Groce; Chaoqiang Zhang; Mohammad Amin Alipour; Eric Eide; Yang Chen 024; John Regehr (ISSRE, 2013)

Taming compiler fuzzers. - Yang Chen 024; Alex Groce; Chaoqiang Zhang; Weng-Keen Wong; Xiaoli Z. Fern; Eric Eide; John Regehr (PLDI, 2013)

Cause Reduction for Quick Testing. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (ICST, 2014)

Improving the Utility of Compiler Fuzzers. - Yang Chen 024 (2014)

Cause reduction: delta debugging, even without bugs. - Alex Groce; Mohammad Amin Alipour; Chaoqiang Zhang; Yang Chen 024; John Regehr (Softw. Test. Verification Reliab., 2016)

Souper: A Synthesizing Superoptimizer. - Raimondas Sasnauskas; Yang Chen 024; Peter Collingbourne; Jeroen Ketema; Jubi Taneja; John Regehr (CoRR, 2017)