"Characterizing verification of bug fixes in two open source IDEs."

Rodrigo R. G. Souza, Christina Chavez (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics