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). https://doi.org/10.1109/TSE.2010.62.

3.

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

4.

Anand, S., Burke, E.K., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., 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. 86, 1978–2001 (2013). https://doi.org/10.1016/j.jss.2013.02.061.

5.

McMinn, P.: Search-based software test data generation: a survey. Software Testing, Verification and Reliability. 14, 105–156 (2004). https://doi.org/10.1002/stvr.294.