Purify
Enhancing Availability and Security Through Failure-Oblivious Computing Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel Roy, and William Beebee,
Computer-Aided Software Engineering Tools – An overview
Enhancing Availability and Security Through Failure-Oblivious Computing
Buffer Overflows : An In-depth Analysis
