Partition-based regression verification. - Böhme, Marcel; Oliveira, Bruno C. d. S.; Roychoudhury, Abhik (2013)