Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball
Browse the full ICSE paper archive.