Differential testing

[Google Scholar]

Notes:
Papers:

N-version disassembly: Differential testing of x86 disassemblers [paleari:issta:2010]
Differential symbolic execution [person:fse:2008]
Practical, low-effort equivalence verification of real code [ramos:cav:2011]
Finding and understanding bugs in C compilers [yang:pldi:2011]

The opinions expressed are my own views and not my employer’s.