Danicic, Sebastian; Barraclough, Richard; Harman, Mark; Howroyd, John; Kiss, Akos and Laurence, Michael. 2011. A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science, 412(49), pp. 6809-6842. ISSN 0304-3975 [Article]

Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael and Ouarbya, Lahcen. 2010. A trajectory-based strict semantics for program slicing. Theoretical Computer Science, 411(11-13), pp. 1372-1386. ISSN 0304-3975 [Article]

Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2007. A non-standard semantics for program slicing and dependence analysis. The Journal of Logic and Algebraic Programming, 72(2), pp. 191-206. ISSN 1567-8326 [Article]

Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan. 2006. Theoretical foundations of dynamic program slicing. Theoretical Computer Science, 360(1-3), pp. 23-41. ISSN 03043975 [Article]

Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2006. A formal relationship between program slicing and partial evaluation. Formal Aspects of Computing, 18(2), pp. 103-119. ISSN 09345043 [Article]

Danicic, Sebastian; Daoudi, Mohammed; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John; Ouarbya, Lahcen and Ward, Martin. 2005. ConSUS: A lightweight program conditioner. Journal of Systems and Software, 77(3), pp. 241-262. ISSN 0164-1212 [Article]

Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan. 2005. Minimal slicing and the relationships between forms of slicing. In: , ed. 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 45-54. [Book Section]

Danicic, Sebastian; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John and Laurence, Michael. 2005. Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. The Computer Journal, 48(6), pp. 737-748. ISSN 0010-4620 [Article]

Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave. 2004. Formalizing executable dynamic and forward slicing. In: , ed. 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04). , Los Alamitos, California, USA: IEEE Computer Society Press, pp. 43-52. [Book Section]

Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen. 2004. 'A Lazy Semantics for Program Slicing'. In: 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy 25 August 2004. [Conference or Workshop Item]

Danicic, Sebastian; Harman, Mark; Hierons, Robert; Howroyd, John; Laurence, Michael and Danicic, Sebastian. 2004. 'Applications of linear program schematology in dependence analysis'. In: 1st International Workshop on Programming Language Interference and Dependence. Verona, Italy. [Conference or Workshop Item]

Danicic, Sebastian; De Lucia, Andrea and Harman, Mark. 2004. Building executable union slices using conditioned slicing. In: , ed. 12th International Workshop on Program Comprehension. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 89-97. [Book Section]

Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Wendell Binkley, David; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen. 2004. Syntax-directed amorphous slicing. Automated Software Engineering, 11(1), pp. 27-61. ISSN 0928-8910 [Article]

Fox, Chris; Danicic, Sebastian; Harman, Mark and Hierons, Robert. 2004. ConSIT: a fully automated conditioned program slicer. Software--Practice and Experience, 34(1), pp. 15-46. ISSN 0038-0644 [Article]

Harman, Mark; Wendell Binkley, David and Danicic, Sebastian. 2003. Amorphous program slicing. Journal of Systems and Software, 68(1), pp. 45-64. ISSN 0164-1212 [Article]

Gallagher, Keith Brian; Harman, Mark and Danicic, Sebastian. 2003. Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance and Evolution, 15(6), pp. 393-416. ISSN 1532-060X [Article]

Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris. 2002. 'A Denotational Interprocedural Program Slicer'. In: Ninth Working Conference on Reverse Engineering, 2002 (WCRE 2002). Richmond, Virginia, United States 29 October - 1 November 2002. [Conference or Workshop Item]

Daoudi, Mohammed; Danicic, Sebastian; Howroyd, John; Harman, Mark; Fox, Chris; Ouarbya, Lahcen and Ward, Martin. 2002. ConSUS: A scalable approach to conditioned slicing. In: , ed. IEEE Working Conference on Reverse Engineering (WCRE 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 109-118. [Book Section]

Harman, Mark; Hu, Lin; Hierons, Robert; Fox, Chris; Danicic, Sebastian; Baresel, Andre; Sthamer, Harmen and Wegener, Joachim. 2002. Evolutionary testing supported by slicing and transformation. In: , ed. IEEE International Conference on Software Maintenance 2002. Los Alamitos, California, USA: IEEE Computer Society Press, p. 285. ISBN 978-0769518206 [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Hu, Lin; Danicic, Sebastian and Wegener, Joachim. 2002. Vada: A transformation-based system for variable dependence analysis. In: , ed. IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 55-64. ISBN 978-0769517940 [Book Section]

Harman, Mark; Hu, Lin; Zhang, Xingyuan; Munro, Malcolm; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen. 2002. An interprocedural amorphous slicer for WSL. In: , ed. IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 105-114. ISBN 978-0769517940 [Book Section]

Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John; Laurence, Michael and Fox, Chris. 2001. Node coarsening calculi for program slicing. In: , ed. 8th Working Conference on Reverse Engineering. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 25-34. ISBN 978-0769513034 [Book Section]

Fox, Chris; Harman, Mark; Hierons, Robert and Danicic, Sebastian. 2001. Backward conditioning: a new program specialisation technique and its application to program comprehension. In: , ed. 9th IEEE International Workshop on Program Comprenhesion. Los Alamitos, California, USA: IEEE Computer Society Press, pp. 89-97. ISBN 978-0769511313 [Book Section]

Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John and Fox, Chris. 2001. Pre/post conditioned slicing. In: , ed. IEEE International Conference on Software Maintenance (ICSM'01). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 138-147. ISBN 978-0769511894 [Book Section]

Danicic, Sebastian; Fox, Chris; Harman, Mark and Hierons, Robert. 2000. ConSIT: A conditioned program slicer. In: , ed. IEEE International Conference on Software Maintenance (ICSM'00). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 216-226. ISBN 978-0769507538 [Book Section]

Danicic, Sebastian and Harman, Mark. 2000. Espresso: A slicer generator. In: , ed. ACM Symposium on Applied Computing, (SAC'00). Como, Italy: , pp. 831-839 [Book Section]

Harman, Mark; Hierons, Robert and Danicic, Sebastian. 2000. The relationship between program dependence and mutation analysis. In: W. Eric Wong, ed. Mutation Testing for the New Century (proceedings of Mutation 2000). San Jose, California, USA: Springer, pp. 5-13. ISBN 978-0792373230 [Book Section]

Harman, Mark; Fox, Chris; Hierons, Robert; Binkley, Dave and Danicic, Sebastian. 1999. Program simplification as a means of approximating undecidable propositions. In: , ed. 7th IEEE International Workshop on Program Comprenhesion (IWPC'99). Los Alamitos, California, USA: IEEE Computer Society Press, pp. 208-217. [Book Section]

Hierons, Robert; Harman, Mark and Danicic, Sebastian. 1999. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4), pp. 233-262. ISSN 0960-0833 [Article]

Harman, Mark; Sivagurunathan, Yogasundary and Danicic, Sebastian. 1998. Analysis of dynamic memory access using amorphous slicing. In: , ed. IEEE International Conference on Software Maintenance (ICSM'98). Los Alamitos, California: Wiley, pp. 233-262. ISBN 978-0818687792 [Book Section]

Harman, Mark and Danicic, Sebastian. 1998. A new algorithm for slicing unstructured programs. Journal of Software Maintenance: Research and Practice, 10(6), pp. 415-441. ISSN 1532-060X [Article]

Harman, Mark and Danicic, Sebastian. 1997. Amorphous program slicing. In: , ed. Program Comprehension (Iwpc '97): 5th International Workshop. Los Alamitos, California: IEEE Computer Society Press, pp. 70-79. ISBN 978-0818679933 [Book Section]

Harman, Mark; Okunlawon, Margaret; Sivagurunathan, Bala and Danicic, Sebastian. 1997. Slice-based measurement of coupling. In: Rachel Harrison, ed. 19th ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution. Boston, Massachusetts, USA: [Book Section]

Sivagurunathan, Yogasundary; Harman, Mark and Danicic, Sebastian. 1997. Slicing, I/O and the implicit state. In: Mariam Kamkar, ed. 3rd International Workshop on Automated Debugging ( AADEBUG'97 ), volume 2 of Linköping Electronic Articles in Computer and Information Science. Linköping, Sweden: , pp. 59-65 [Book Section]

Harman, Mark; Danicic, Sebastian; Sivagurunathan, Yogasundary and Simpson, Dan. 1996. The next 700 slicing criteria. In: Malcolm Munro, ed. 2nd UK workshop on program comprehension. UK: Durham University. [Book Section]

Danicic, Sebastian and Harman, Mark. 1996. 'A simultaneous slicing theory and derived program slicer (keynote)'. In: 4th RIMS Workshop in Computing. Kyoto University, Kyoto, Japan. [Conference or Workshop Item]

Harman, Mark and Danicic, Sebastian. 1996. Towards the measurement of objects. In: Martin Shepperd, ed. 1st Bournemouth Metrics Workshop. Bournemouth: Bournemouth University. [Book Section]

Harman, Mark; Simpson, D. J. and Danicic, Sebastian. 1996. Slicing programs in the presence of errors. Formal Aspects of Computing, 8(4), pp. 490-497. ISSN 0934-5043 [Article]

Harman, Mark; Danicic, Sebastian and Sivagurunathan, Yogasundary. 1995. Program comprehension assisted by slicing and transformation. In: Malcolm Munro, ed. 1st UK workshop on program comprehension. UK: Durham University. [Book Section]

Danicic, Sebastian; Harman, Mark and Sivagurunathan, Yogasundary. 1995. A parallel algorithm for static program slicing. Information Processing Letters, 56(6), pp. 307-313. ISSN 0020-0190 [Article]