Search results

• 2001

  The SEMINAL Workshop: Reformulating Software Engineering as a Metaheuristic Search Problem

  Harman, M. & Jones, B. F., 2001, In: Software Engineering Notes. 26, 6, p. 62-66 5 p.

  Research output: Contribution to journal › Article › peer-review
• 2000

  An empirical study of amorphous slicing as a program comprehension support tool

  Binkley, D. W., Harman, M., Raszewski, L. R. & Smith, C., 2000, 8^th IEEE International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, p. 161-170 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  28 Citations (Scopus)

• ConSIT: A conditioned program slicer

  Danicic, S., Fox, C., Harman, M. & Hierons, R. M., 2000, IEEE International Conference on Software Maintenance (ICSM'00). Los Alamitos, California, USA: IEEE Computer Society Press, p. 216-226 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  41 Citations (Scopus)

• Espresso: A Slicer Generator

  Danicic, S. & Harman, M., 2000, ACM Symposium on Applied Computing, (SAC'00). p. 831-839 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  6 Citations (Scopus)

• Program analysis and test hypotheses complement

  Hierons, R. M. & Harman, M., 2000, IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification. p. 32-39 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

• Testing conformance to a quasi non-deterministic stream X-machine

  Hierons, R. M. & Harman, M., 2000, In: FORMAL ASPECTS OF COMPUTING. ol.12, .6, p. 423 - 442 20 p.

  Research output: Contribution to journal › Article › peer-review

  • Conformance Testing 100%
  • Conformance 100%
  • Algorithms 50%
  • Test Generation 50%
  • Test Algorithm 50%
  19 Citations (Scopus)
• 1999

  How Small is a bit?: The uncertain world of Quantum Computing

  Harman, M., 1999, In: EXE. p. 36-41 6 p.

  Research output: Contribution to journal › Article › peer-review

• Program simplification as a means of approximating undecidable propositions

  Harman, M., Fox, C., Hierons, R. M., Binkley, D. W. & Danicic, S., 1999, 7^th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, p. 208-217 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  10 Citations (Scopus)

• Sifting Through the Wreckage

  Harman, M., 1999, In: EXE. p. 5 1 p.

  Research output: Contribution to journal › Article › peer-review

• Using Program Slicing to Assist in the Detection of Equivalent Mutants

  Hierons, R. M., Harman, M. & Danicic, S., 1999, In: SOFTWARE TESTING VERIFICATION AND RELIABILITY. 9, 4, p. 233-262 30 p.

  Research output: Contribution to journal › Article › peer-review

  171 Citations (Scopus)
• 1998

  Analysis of Dynamic Memory Access using Amorphous Slicing

  Harman, M., Sivagurunathan, Y. & Danicic, S., 1998, IEEE International Conference on Software Maintenance (ICSM'98). Los Alamitos, California, USA: IEEE Computer Society Press, p. 336-345 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  12 Citations (Scopus)

• A new algorithm for slicing unstructured programs

  Harman, M. & Danicic, S., Nov 1998, In: the Journal of Software Maintenance and Evolution. 10, 6, p. 415-441 27 p., N/A.

  Research output: Contribution to journal › Article › peer-review

  • Algorithms 100%
  • Syntactics 12%
  • Software Maintenance 12%
  • Legacy Systems 12%
  • Proposed Modification 12%
  29 Citations (Scopus)

• Program Slicing

  Harman, M. & Gallagher, K. B., 1998, In: INFORMATION AND SOFTWARE TECHNOLOGY. 40, 11 and 12, p. 577-581 5 p.

  Research output: Contribution to journal › Article › peer-review

  13 Citations (Scopus)

• Project Estimation: How long is this going to take?

  Harman, M., 1998, In: EXE. p. 20-24 5 p.

  Research output: Contribution to journal › Article › peer-review

• Special Issue on Program Slicing

  Harman, M. & Gallagher, K., 1998, In: INFORMATION AND SOFTWARE TECHNOLOGY. 40, 11 and 12

  Research output: Contribution to journal › Article › peer-review

• Testing in black and white

  Harman, M., 1998, In: EXE. p. 18-26 9 p.

  Research output: Contribution to journal › Article › peer-review

• Testing Techniques: Advanced Techniques

  Harman, M., 1998, In: EXE. p. 29-34 6 p.

  Research output: Contribution to journal › Article › peer-review
• 1997

  Amorphous Program Slicing

  Harman, M. & Danicic, S., 1997, 5^th IEEE International Workshop on Program Comprehension (IWPC'97). Los Alamitos, California, USA: IEEE Computer Society Press, p. 70-79 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

  82 Citations (Scopus)

• Cleaving Together: Program Cohesion with Slices

  Harman, M., 1 Jan 1997, In: EXE. 11, 8, p. 35-42 8 p.

  Research output: Contribution to journal › Article › peer-review

• DIY Software Agents

  Harman, M., 1997, In: EXE. p. 18-24 7 p.

  Research output: Contribution to journal › Article › peer-review

• Genetic Algorithms: Growing Your Own Code

  Harman, M. & Kopec, C., 1997, In: EXE. 11, 11, p. 17-22 6 p.

  Research output: Contribution to journal › Article › peer-review

• LaTeX: Typesetting as a Programming Language

  Harman, M., 1997, In: EXE. p. 31-38 8 p.

  Research output: Contribution to journal › Article › peer-review

• Program Transformation: New Programs for Old

  Harman, M., 1997, In: EXE. p. 25-30 6 p.

  Research output: Contribution to journal › Article › peer-review

• Slice-Based Measurement of Coupling

  Harman, M., Okunlawon, M. & and, B. S., 1997, 19^th ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution. Harrison, R. (ed.).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

• Slicing, I/O and the Implicit State

  Sivagurunathan, Y., Harman, M. & Danicic, S., 1997, 3^rd International Workshop on Automated Debugging ( AADEBUG'97 ). Kamkar, M. (ed.). Vol. 2. p. 59-65 7 p. (Linkoping Electronic Articles in Computer and Information Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

• The Mating Game

  Harman, M. & Kopec, C., 1997, In: EXE. 11, 12, p. 39-42 4 p.

  Research output: Contribution to journal › Article › peer-review
• 1996

  A Piece of Cake: Slicing as a debugging technique

  Harman, M., 1996, In: EXE. 11, 5, p. 25-28 4 p., N/A.

  Research output: Contribution to journal › Article › peer-review

• A Simultaneous Slicing Theory and Derived Program Slicer (invited paper)

  Danicic, S. & Harman, M., 1996, 4^th RIMS Workshop in Computing.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper

• Carving up bugs

  Harman, M., 1996, In: EXE. 11, 6, p. 39-42 4 p.

  Research output: Contribution to journal › Article › peer-review

• First Course in C++: A Gentle Introduction

  Harman, M. & Jones, R., 1996, McGraw Hill.

  Research output: Book/Report › Book

• Slicing programs in the presence of errors

  Harman, M., Simpson, D. & Danicic, S., 1996, In: FORMAL ASPECTS OF COMPUTING. 8, 4, p. 490-497 8 p.

  Research output: Contribution to journal › Article › peer-review

  10 Citations (Scopus)
• 1995

  A parallel algorithm for static program slicing

  Danicic, S., Harman, M. & Sivagurunathan, Y., 22 Dec 1995, In: INFORMATION PROCESSING LETTERS. 56, 6, p. 307-313 7 p., N/A.

  Research output: Contribution to journal › Article › peer-review

  • Parallel Algorithms 100%
  • Algorithms 33%
  • Control-Flow Graph 16%
  • Concurrent Process 16%
  • Parallel Version 16%
  26 Citations (Scopus)

• Using program slicing to simplify testing

  Harman, M. & Danicic, S., 1995, In: SOFTWARE TESTING VERIFICATION AND RELIABILITY. 5, 3, p. 143-162 20 p.

  Research output: Contribution to journal › Article › peer-review
  75 Citations (Scopus)