Items where Author / Artist / Editor is "Harman, Mark"
![]() | See full list of headings |
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, 45
(4)
.
p. 53.
ISSN 0360-0300
[Article]
(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
[Article]
(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
[Article]
(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
[Article]
(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
[Article]
(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.
[Book Section]
(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.
[Conference or Workshop Item]
(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.
.
[Conference or Workshop Item]
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. . [Conference or Workshop Item]