Differential assertion checking,” (2013)

by S K Lahiri, K L McMillan, R Sharma, C Hawblitzel
Venue:in Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE),