@inproceedings{PRV,
 author = {B\"{o}hme, Marcel and Oliveira, Bruno C.d.S. and Roychoudhury, Abhik},
 title = {Partition-based Regression Verification},
 booktitle = {Proceedings of the 35th International Conference on Software Engineering},
 series = {ICSE 2013},
 year = {2013},
 location = {San Francisco, California, USA},
 pages = {301-310},
 numpages = {10}
}