Treffer: A Differential Approach to Undefined Behavior Detection.
Title:
A Differential Approach to Undefined Behavior Detection.
Authors:
Xi Wang1 xi@cs.washington.edu, Zeldovich, Nickolai2 nickolai@csail.mit.edu, Kaashoek, M. Frans2 kaashoek@csail.mit.edu, Solar-Lezama, Armando2 asolar@csail.mit.edu
Source:
Communications of the ACM. Mar2016, Vol. 59 Issue 3, p99-106. 8p. 6 Diagrams.
Database:
Business Source Ultimate