King's College London

Research portal

Professor Mark Harman

  1. Amorphous Slicing of Extended Finite State Machines

    Androutsopoulos, K., Clark, D., Harman, M., Hierons, R. M., Li, Z. & Tratt, L., 2013, In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 39, 7, p. 892-909 18 p.

    Research output: Contribution to journalArticlepeer-review

  2. State-based model slicing: a survey

    Androutsopoulos, K., Clark, D., Harman, M., Krinke, J. & Tratt, L., 2013, (Accepted/In press) In: ACM Computing Surveys. 45, 4

    Research output: Contribution to journalArticlepeer-review

  3. Regression testing minimization, selection and prioritization: a survey

    Yoo, S. & Harman, M., Mar 2012, In: SOFTWARE TESTING VERIFICATION AND RELIABILITY. 22, 2, p. 67 - 120 54 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  4. Experimental Assessment of Software Metrics Using Automated Refactoring

    O Cinneide, M., Tratt, L., Harman, M., Counsell, S. & Hemati Moghadam, I., 2012, 2012 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). New York: ACM, p. 49-58 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  5. The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study

    Di Penta, M., Harman, M. & Antoniol, G., 25 Apr 2011, In: SOFTWARE: PRACTICE AND EXPERIENCE. 41, 5, p. 495 - 519 25 p.

    Research output: Contribution to journalArticlepeer-review

  6. The SBSE Approach to Automated Optimization of Verification and Testing

    Harman, M., 2011, Unknown. BERLIN: Springer, p. 3 - 3 1 p. (HARDWARE AND SOFTWARE: VERIFICATION AND TESTING).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

    Lakhotia, K., McMinn, P. & Harman, M., Dec 2010, In: Journal of Systems and Software. 83, 12, p. 2379 - 2391 13 p.

    Research output: Contribution to journalArticlepeer-review

  8. Efficient multi-objective higher order mutation testing with genetic programming

    Langdon, W. B., Harman, M. & Jia, Y., Dec 2010, In: Journal of Systems and Software. 83, 12, p. 2416 - 2430 15 p.

    Research output: Contribution to journalArticlepeer-review

  9. An alternative characterization of weak order dependence

    Amtoft, T., Androutsopoulos, K., Clark, D., Harman, M. & Li, Z., 15 Oct 2010, In: INFORMATION PROCESSING LETTERS. 110, 21, p. 939 - 943 5 p.

    Research output: Contribution to journalArticlepeer-review

  10. Automated Patching Techniques: The Fix Is In

    Harman, M., 1 May 2010, In: COMMUNICATIONS OF THE ACM. 53, 5, p. 108 - 108 1 p.

    Research output: Contribution to journalEditorialpeer-review

  11. Using hybrid algorithm for Pareto efficient multi-objective test suite minimisation

    Yoo, S. & Harman, M., Apr 2010, In: Journal of Systems and Software. 83, 4, p. 689 - 701 13 p.

    Research output: Contribution to journalArticlepeer-review

  12. A trajectory-based strict semantics for program slicing

    Barraclough, R. W., Binkley, D., Danicic, S., Harman, M., Hierons, R. M., Kiss, A., Laurence, M. & Ouarbya, L., 6 Mar 2010, In: Theoretical Computer Science. 411, 11-13, p. 1372 - 1386 15 p.

    Research output: Contribution to journalArticlepeer-review

  13. Today/future importance analysis

    Zhang, Y., Alba, E., Durillo, J. J., Eldh, S. & Harman, M., 1 Jan 2010, Proceedings of the 12th annual conference on Genetic and evolutionary computation. New York: ACM, p. 1357

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search

    Harman, M. & McMinn, P., 2010, In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 36, 2, p. 226 - 247 22 p., 5342440.

    Research output: Contribution to journalArticlepeer-review

  15. Evolving a CUDA Kernel from an nVidia Template

    Langdon, W. B. & Harman, M., 2010, Unknown. NEW YORK: IEEE, (2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC)).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization

    Harman, M., 2010, Unknown. BERLIN: Springer, Vol. 6013 LNCS. p. 1 - 12 12 p. (FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  17. Higher Order Mutation Testing

    Jia, Y. & Harman, M., Oct 2009, In: INFORMATION AND SOFTWARE TECHNOLOGY. 51, 10, p. 1379 - 1393 15 p.

    Research output: Contribution to journalConference paper

  18. Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing

    McMinn, P., Binkley, D. & Harman, M., 1 May 2009, In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 18, 3, 11.

    Research output: Contribution to journalArticlepeer-review

  19. Using Formal Specifications to Support Testing

    Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A. J. H., Vilkomir, S., Woodward, M. R. & Zedan, H., 1 Feb 2009, In: COMPUTING SURVEYS. 41, 2, 9.

    Research output: Contribution to journalLiterature reviewpeer-review

  20. A Theoretical and Empirical Study of EFSM Dependence

    Androutsopoulos, K., Gold, N., Harman, M., Li, Z. & Tratt, L., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 287 - 296 10 p. (2009 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, CONFERENCE PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. Automated Test Data Generation for Aspect-Oriented Programs

    Harman, M., Islam, F., Xie, T. & Wappler, S., 2009, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 185 - 196 12 p. (AOSD'09: 8TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Automated Test Data Generation for Coverage: Haven't We Solved This Problem Yet?

    Lakhotia, K., McMinn, P. & Harman, M., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 95 - 104 10 p. (2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Clustering Test Cases to Achieve Effective & Scalable Prioritisation Incorporating Expert Knowledge

    Yoo, S., Harman, M., Tonella, P. & Susi, A., 2009, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 201 - 211 11 p. (ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. Control Dependence for Extended Finite State Machines

    Androutsopoulos, K., Clark, D., Harman, M., Li, Z. & Tratt, L., 2009, Unknown. BERLIN: Springer, Vol. 5503. p. 216 - 230 15 p. (FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. Identifying 'Linchpin Vertices' that Cause Large Dependence Clusters

    Binkley, D. & Harman, M., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 89 - 98 10 p. (2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  26. Multi Objective Higher Order Mutation Testing with Genetic Programming

    Langdon, W. B., Harman, M. & Jia, Y., 2009, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 21 - 29 9 p. (2009 TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE-PRACTICE AND RESEARCH TECHNIQUES, TAIC PART 2009).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. An empirical study of the relationship between the concepts expressed in source code and dependence

    Binkley, D., Gold, N., Harman, M., Li, Z. & Mahdavi, K., Dec 2008, In: Journal of Systems and Software. 81, 12, p. 2287 - 2298 12 p.

    Research output: Contribution to journalConference paper

  28. Locating dependence structures using search-based slicing

    Jiang, T., Gold, N., Harman, M. & Li, Z., Nov 2008, In: INFORMATION AND SOFTWARE TECHNOLOGY. 50, 12, p. 1189 - 1209 21 p.

    Research output: Contribution to journalArticlepeer-review

  29. Search-based software engineering

    Gutjahr, W. J. & Harman, M., Oct 2008, In: COMPUTERS AND OPERATIONS RESEARCH. 35, 10, p. 3049 - 3051 3 p.

    Research output: Contribution to journalEditorialpeer-review

  30. Special Issue on Search-Based Software Maintenance

    Di Penta, M., Antoniol, G. & Harman, M., Sep 2008, In: Journal Of Software Maintenance And Evolution-Research And Practice. 20, 5, p. 317 - 319 3 p.

    Research output: Contribution to journalEditorialpeer-review

  31. Handling dynamic data structures in search based testing

    Lakhotia, K., Harman, M. & Mcminn, P., 1 Jan 2008, GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation. ACM, p. 1759-1766

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. Dependence Anti Patterns

    Binkley, D., Gold, N., Harman, M., Li, Z., Mahdavi, K. & Wegener, J., 2008, Unknown. NEW YORK: IEEE, p. 109 - 118 10 p. (2008 23RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. Empirical study of optimization techniques for massive slicing

    Binkley, D., Harman, M. & Krinke, J., 2008, In: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS. 30, 1, 3.

    Research output: Contribution to journalArticlepeer-review

  34. MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language

    Jia, Y. & Harman, M., 2008, Unknown. LOS ALAMITOS: IEEE COMPUTER SOC, p. 94 - 98 5 p. (TACI PART 2008:TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Search based requirements optimisation: Existing work and challenges

    Zhang, Y., Finkelstein, A., Harman, M., Paech, B. (ed.) & Rolland, C. (ed.), 2008, Requirements Engineering: Foundation for Software Quality. BERLIN: Springer, Vol. 5025 LNCS. p. 88 - 94 7 p. (LECTURE NOTES IN COMPUTER SCIENCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. The Impact of Input Domain Reduction on Search-Based Test Data Generation

    Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P. & Wegener, J., 1 Sep 2007, ACM Symposium on the Foundations of Software Engineering (FSE '07). Dubrovnik, Croatia: Association for Computer Machinery, p. 155-164 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. A Theoretical and Empirical Analysis of Evolutionary Testing and Hill Climbing for Structural Test Data Generation

    Harman, M. & McMinn, P., 1 Jul 2007, International Symposium on Software Testing and Analysis (ISSTA'07). London, United Kingdom: Association for Computer Machinery, p. 73 - 83

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Pareto Efficient Multi-Objective Test Case Selection

    Yoo, S. & Harman, M., 1 Jul 2007, International Symposium on Software Testing and Analysis (ISSTA'07). London, United Kingdom: Association for Computer Machinery, p. 140-150

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. A non-standard semantics for program slicing and dependence analysis

    Danicic, S., Harman, M., Howroyd, J. & Ouarbya, L., Jul 2007, In: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. 72, 2, p. 191 - 206 16 p.

    Research output: Contribution to journalArticlepeer-review

  40. Automated Test Data Generation using Search Based Software Engineering (keynote)

    Harman, M., 1 May 2007, 2nd International Workshop on Automation of Software Test (AST 07). Minneapolis, USA: IEEE Computer Society Press, p. 2 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  41. An Empirical Study of Static Program Slice Size

    Gold, N., Harman, M. & Binkley, D., 1 Apr 2007, In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. 16, 2, p. 1 - 32 32 p., 8.

    Research output: Contribution to journalArticlepeer-review

  42. Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time

    Danicic, S., Harman, M., Hierons, R., Howroyd, J. & Laurence, M. R., 22 Mar 2007, In: Theoretical Computer Science. 373, 1-2, p. 1 - 18 18 p.

    Research output: Contribution to journalArticlepeer-review

  43. Heuristics for fault diagnosis when testing from finite state machines

    Guo, Q., Hierons, R. A., Harman, M. & Derderian, K., Mar 2007, In: SOFTWARE TESTING VERIFICATION AND RELIABILITY. 17, 1, p. 41 - 57 17 p.

    Research output: Contribution to journalArticlepeer-review

  44. A Multi-Objective Approach To Search-Based Test Data Generation

    Harman, M., Lakhotia, K. & McMinn, P., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1098 - 1105 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. Pareto Optimal Search Based Refactoring at the Design Level

    Harman, M. & Tratt, L., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1106 - 1113 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  46. Search Algorithms for Regression Test Case Prioritization

    Li, Z., Harman, M. & Hierons, R., 2007, In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 33, 4, p. 225-237 13 p.

    Research output: Contribution to journalArticlepeer-review

  47. Search Based Software Engineering for Program Comprehension (keynote)

    Harman, M., 2007, 15th International Conference on Program Comprehension (ICPC 07). Banff, Canada: IEEE Computer Society Press, p. 3-13 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Search based software engineering for program comprehension

    Harman, M., Wong, K. (ed.), Stroulia, E. (ed.) & Tonella, P. (ed.), 2007, Icpc 2007: 15Th Ieee International Conference on Program Comprehension , Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 3 - 13 11 p. (CONFERENCE PROCEEDINGS - ANNUAL INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. The Multi-Objective Next Release Problem

    Zhang, Y., Harman, M. & Mansouri, S. A., 2007, Unknown. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1129 - 1136 8 p. (GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  50. The current state and future of search based software engineering

    Harman, M., Briand, L. C. (ed.) & Wolf, A. L. (ed.), 2007, Fose 2007: Future of Software Engineering. LOS ALAMITOS: IEEE COMPUTER SOC, p. 342 - 357 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 3 4 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Search within the list

Refine results

Language

Language

Publication year

Publication year

Meeting and poster abstracts

Meeting and poster abstracts

Authors

Authors

Open Access Status

Open Access Status

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454