Items where Author / Artist / Editor is "Harman, Mark"

Article

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys (CSUR), 45 (4) . p. 53. ISSN 0360-0300 (doi:10.1145/2501654.2501667)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 (doi:10.1109/TSE.2012.72)

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21) . pp. 939-943. ISSN 0020-0190 (doi:10.1016/j.ipl.2010.07.023)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gold, Nicolas, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) A theoretical and empirical study of EFSM dependence. Software Maintenance, 2009. ICSM 2009. IEEE International Conference . pp. 287-296. ISSN 1063-6773 (doi:10.1109/ICSM.2009.5306309)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 (doi:10.1007/978-3-642-00593-0_15)

Book Section

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450. (doi:10.1145/1985793.1985834)

Conference or Workshop Item

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Dan, Haitao, Hierons, Robert M. and Harman, Mark (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: Proceedings of the 36th International Conference on Software Engineering. In: 36th International Conference on Software Engineering, ICSE '14, 31 May - 07 Jun 2014, Hyderabad, India. ISBN 9781450327565. (doi:10.1145/2568225.2568314)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, 21-28 May 2011, Waikiki, Honolulu, HI, USA. .

Harman, Mark and Tratt, Laurence (2007) Pareto optimal search based refactoring at the design level. In: 9th annual conference on Genetic and evolutionary computation conference (GEECO 2007), 7 - 11 July, 2007, University College, London. .