Items where authors include "Harman, M."

Article

Lakhotia, K., McMinn, P. and Harman, M. (2010) An empirical investigation into branch coverage for C programs using CUTE and AUSTIN. Journal of Systems and Software, 83 (12). pp. 2379-2391. ISSN 0164-1212

Derderian, K., Hierons, R.M. orcid.org/0000-0002-4771-1446, Harman, M. et al. (1 more author) (2010) Estimating the feasibility of transition paths in extended finite state machines. Automated Software Engineering, 17. 1. pp. 33-56. ISSN 0928-8910

Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300

Proceedings Paper

McMinn, P.S., Harman, M., Fraser, G. et al. (1 more author) (2016) Automated Search for Good Coverage Criteria: Moving from Code Coverage to Fault Coverage Through Search-Based Software Engineering. In: SBST '16 Proceedings of the 9th International Workshop on Search-Based Software Testing. 9th International Workshop on Search-Based Software Testing (SBST 2016), 16-17 May 2016, Austin, Texas (US). Association for Computing Machinery , pp. 43-44.

Baars, A.I., Harman, M., Hassoun, Y. et al. (4 more authors) (2011) Symbolic search-based testing. In: Alexander, P., Pasareanu, C.S. and Hosking, J.G., (eds.) Proceedings of 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011). 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 06-10 Nov 2011, Lawrence, KS, USA. IEEE , pp. 53-62. ISBN 978-1-4577-1638-6