King's College London

Research portal

Research Outputs

  1. 2015
  2. Science forum: RIPOSTE: a framework for improving the design and analysis of laboratory-based research.

    Masca, N. G. D., Hensor, E. M. A., Cornelius, V. R., Buffa, F. M., Marriott, H. M., Eales, J. M., Messenger, M. P., Anderson, A. E., Boot, C., Bunce, C., Goldin, R. D., Harris, J., Hinchliffe, R. F., Junaid, H., Kingston, S., Martin-Ruiz, C., Nelson, C. P., Peacock, J., Seed, P. T., Shinkins, B. & 4 others, Staples, K. J., Toombs, J., Wright, A. K. A. & Teare, M. D., 2015, eLife. p. e05519 (eLife; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. 2012
  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. 2011
  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. 2010
  8. 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

  9. 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

  10. 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

  11. 2009
  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 2008
  20. 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

  21. 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

  22. 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

  23. 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

  24. 2007
  25. 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

  26. 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

  27. 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

  28. 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

  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 2006
  36. Allowing overlapping boundaries in source code using a search based approach to concept binding

    Gold, N., Harman, M., Li, Z. & Kawada, S. (ed.), 2006, Icsm 2006: 22Nd Ieee International Conference on Software Maintenance, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 310 - 319 10 p. (PROCEEDINGS - IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE).

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

  37. An Empirical Study of Executable Concept Slice Size

    Gold, N., Harman, M., Li, Z. & Mahdavi, K., 2006, 13th Working Conference on Reverse Engineering (WCRE 06). p. 103-114 12 p.

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

  38. Animated Visualisation of Static Analysis: Characterising, Explaining and Exploiting the Approximate Nature of Static Analysis

    Binkley, D., Harman, M. & Krinke, J., 2006, 6th International Workshop on Source Code Analysis and Manipulation (SCAM 06). p. 43-52 10 p.

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

  39. Astrenet Aspect Analysis workshop 2006

    Harman, M., Black, S., Tonella, P. & Werner, B. (ed.), 2006, 13Th Working Conference on Reverse Engineeing, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 323 - 323 1 p. (Working Conference on Reverse Engineering).

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

  40. Automated Refactoring of Object Oriented Code into Aspects

    Binkley, D., Ceccato, M., Harman, M., Ricca, F. & Tonella, P., 2006, Unknown. Unknown Publisher

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

  41. Data Dependence Based Testability Transformation in Automated Test Generation

    Korel, B., Harman, M., Shung, S., Apirukvorapinit, P. & Gupta, R., 2006, Unknown. Unknown Publisher

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

  42. Forward Slices Are Smaller Than Backward Slices

    Binkley, D. & Harman, M., 2006, Unknown. Unknown Publisher

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

  43. Locating Dependence Clusters and Dependence Pollution

    Binkley, D. & Harman, M., 2006, Unknown. Unknown Publisher

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

  44. Minimal Slicing and The Relationship Between Forms of Slicing

    Danicic, S., Binkley, D., Gyimóthy, T., Harman, M., Kiss, Á. & Korel, B., 2006, Unknown. Unknown Publisher

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

  45. Search Based Software Engineering (keynote)

    Harman, M., 2006, Workshop on Computational Science in Software Engineering (CSSE 2006), LNCS 3994.. p. 740-747 8 p.

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

  46. Search Based Testing (keynote)

    Harman, M., 2006, Software & Systems Quality Conference (SQS-UK 2006, industry conference).

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

  47. Search-Based Amorphous Slicing

    Fatiregun, D., Harman, M. & Hieron, R., 2006, Unknown. Unknown Publisher

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

  48. Search-Based Software Engineering for Maintenance and Reengineering (keynote)

    Harman, M., 2006, 10th European Conference on Software Maintenance and Reengineering (CSMR 2006).

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

  49. Search-Based Techniques Applied to Optimization of Project Planning for a Massive Maintenance Project

    Antoniol, G., Di Penta, M. & Harman, M., 2006, Unknown. Unknown Publisher

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

  50. Stop-List Slicing

    Gallagher, K. B., Binkley, D. & Harman, M., 2006, 6th International Workshop on Source Code Analysis and Manipulation (SCAM 06). IEEE, p. 11-20 10 p.

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

  51. Test Prioritization Using System Models

    Korel, B., Tahat, L. H. & Harman, M., 2006, Unknown. Unknown Publisher

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

  52. Testability Transformation for Efficient Automated Test Data Search in the Presence of Nesting

    McMinn, P., Binkley, D. & Harman, M., 2006, Unknown. Unknown Publisher

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

  53. The Species per Path Approach to Search-Based Test Data Generation

    McMinn, P., Harman, M., Binkley, D. & Tonella, P., 2006, ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis. New York, NY: ACM, p. 13-24 12 p.

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

  54. The Use of Measurement in Search Based Software Engineering (keynote)

    Harman, M., 2006, International Conference on Software Process and Product Measurement (Mensura 2006).

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

  55. 2005
  56. An empirical study of the robustness of two module clustering fitness functions

    Harman, M., Swift, S., Mahdavi, K. & Beyer, H. G. (ed.), 2005, Gecco 2005: Genetic and Evolutionary Computation Conference, Vols 1and 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 1029 - 1036 8 p.

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

  57. 2004
  58. A Robust Search--Based Approach to Project Management in the Presence of Abandonment, Rework, Error and Uncertainty

    Antoniol, G., Penta, M. D. & Harman, M., 2004, 10th International Software Metrics Symposium (METRICS 2004): proceedings : Chicago, Illinois, September 11-17, 2004. N/A ed. Los Alamitos, California: IEEE Computer Society Press, Vol. N/A. p. 172-183 12 p.

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

  59. Amorphous Procedure Extraction

    Harman, M., Binkley, D., Singh, R. & Hierons, R., 2004, 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04). Los Alamitos, California, USA: IEEE Computer Society Press, p. 85-94 10 p.

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

  60. Building Executable Union Slices using Conditioned Slicing

    Danicic, S., Lucia, A. D. & Harman, M., 2004, 12th International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, p. 89-97 9 p.

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

Previous 1 2 Next

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

Refine results Clear filters

Language

Language

Publication year

Publication year

Meeting and poster abstracts

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