Bibliography for COMPGS03 / COMPM023: Validation and Verification BETA

1.

Coverage and Its Discontents.

2.

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

3.

Yoo, S. & Harman, M. Regression testing minimization, selection and prioritization: a survey. Software Testing, Verification and Reliability n/a-n/a (2010) doi:10.1002/stvr.430.

4.

Anand, S. et al. An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software 86, 1978–2001 (2013).

5.

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