Bibliography for COMPGS03 / COMPM023: Validation and Verification BETA

Anand, Saswat, Edmund K. Burke, Tsong Yueh Chen, et al. 2013. ‘An Orchestrated Survey of Methodologies for Automated Software Test Case Generation’. Journal of Systems and Software 86 (8): 1978–2001. https://doi.org/10.1016/j.jss.2013.02.061.

Coverage and Its Discontents. n.d. https://agroce.github.io/onwardessays14.pdf.

Jia, Yue, and Mark Harman. 2011. ‘An Analysis and Survey of the Development of Mutation Testing’. IEEE Transactions on Software Engineering 37 (5): 649–78. https://doi.org/10.1109/TSE.2010.62.

McMinn, Phil. 2004. ‘Search-Based Software Test Data Generation: A Survey’. Software Testing, Verification and Reliability 14 (2): 105–56. https://doi.org/10.1002/stvr.294.

Yoo, S., and M. Harman. 2010. ‘Regression Testing Minimization, Selection and Prioritization: A Survey’. Software Testing, Verification and Reliability, n/a-n/a. https://doi.org/10.1002/stvr.430.