Automated Derivation of Application-aware Error Detectors using Static Analysis.

Karthik Pattabiraman, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Browse the full IOLTS paper archive.