Proving programs robust (2011)

by S Chaudhuri, S Gulwani, R Lublinerman, S NavidPour
Venue:In SIGSOFT FSE