Bibliography for COMPGS03 / COMPM023: Validation and Verification BETA

Anand, Saswat et al. ‘An Orchestrated Survey of Methodologies for Automated Software Test Case Generation’. Journal of Systems and Software 86.8 (2013): 1978–2001. Web.

Coverage and Its Discontents. N.p. Web. <http://www.cs.cmu.edu/~agroce/onwardessays14.pdf>.

Jia, Yue, and Mark Harman. ‘An Analysis and Survey of the Development of Mutation Testing’. IEEE Transactions on Software Engineering 37.5 (2011): 649–678. Web.

McMinn, Phil. ‘Search-Based Software Test Data Generation: A Survey’. Software Testing, Verification and Reliability 14.2 (2004): 105–156. Web.

Yoo, S., and M. Harman. ‘Regression Testing Minimization, Selection and Prioritization: A Survey’. Software Testing, Verification and Reliability (2010): n/a-n/a. Web.