surveys.bib

@article{JiaHarman11MutationTestingSurvey,
author = {Jia, Yue and Harman, Mark},
title = {An Analysis and Survey of the Development of Mutation Testing},
journal = TSE,
pages = {649--678},
year = {2011},
volume = {37},
number = {5},
LONGissue_date = {September 2011},
LONGmonth = sep,
LONGpublisher = {IEEE Press},
LONGaddress = {Piscataway, NJ, USA},
}

@article{YooHarman10RegressionTestingSurvey,
author = {Yoo, Shin and Harman, Mark},
title = {Regression Testing Minimization, Selection and Prioritization: A Survey},
journal = STVR,
pages = {67--120},
year = {2012},
volume = {22},
number = {2},
LONGpublisher = {John Wiley & Sons, Ltd},
}

@article{Jhala2009,
 author = {Jhala, Ranjit and Majumdar, Rupak},
 title = {Software Model Checking},
 journal = {ACM Comput. Surv.},
 issue_date = {October 2009},
 volume = {41},
 number = {4},
 month = oct,
 year = {2009},
 issn = {0360-0300},
 pages = {21:1--21:54},
 articleno = {21},
 numpages = {54},
 url = {http://doi.acm.org/10.1145/1592434.1592438},
 doi = {10.1145/1592434.1592438},
 acmid = {1592438},
 publisher = {ACM},
 address = {New York, NY, USA},
}