Bibliography for COMPGS03 / COMPM023: Validation and Verification BETA

1.

Coverage and Its Discontents [Internet]. Available from: http://www.cs.cmu.edu/~agroce/onwardessays14.pdf

2.

Jia Y, Harman M. An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering. 2011 Sep;37(5):649–678.

3.

Yoo S, Harman M. Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability. 2010;n/a-n/a.

4.

Anand S, Burke EK, Chen TY, Clark J, Cohen MB, Grieskamp W, Harman M, Harrold MJ, McMinn P, Bertolino A, Jenny Li J, Zhu H. An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software. 2013 Aug;86(8):1978–2001.

5.

McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability. 2004 Jun;14(2):105–156.