Papers related to Survey
- A survey of asynchronous remote procedure calls [ananda:osr:1992]
- A survey of symbolic execution techniques [baldoni:compsurv:2018]
- The oracle problem in software testing: A survey [barr:tse:2015]
- STARS: Rise and fall of minicomputers [scanning our past] [bell:procieee:2014]
- Symbolic execution for software testing: Three decades later [cadar:cacm:2013]
- Model checking: Algorithmic verification and debugging [clarke:cacm:2009]
- Satisfiability modulo theories: Introduction and applications [demoura:cacm:2011]
- A survey of microarchitectural timing attacks and countermeasures on contemporary hardware [ge:jce:2016]
- Fuzzing: Hack, art, and science [godefroid:cacm:2020]
- Software model checking [jhala:compsurv:2009]
- An analysis and survey of the development of mutation testing [jia:ieeetse:2010]
- Boolean satisfiability from theoretical hardness to practical success [malik:cacm:2009]
- The art, science, and engineering of fuzzing: A survey [manes:ieeetse:2019]
- Model checking [mcmillan:ecs:2003]
- Separation logic [ohearn:cacm:2019]
- Mutation testing advances: An analysis and survey (chapter 6) [papadakis:advances:2019]