Calysto: scalable and precise extended static checking.

Domagoj Babic, Alan J. Hu

Browse the full ICSE paper archive.