Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2012. Complexity of data dependence problems for program schemas with concurrency. ACM Transactions on Computational Logic, 13(2), pp. 1-18. ISSN 1529-3785 [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. Journal of Logic and Algebraic Programming, 80(8), pp. 481-496. ISSN 1567-8326 [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. Journal of Logic and Algebraic Programming, 80(2), pp. 92-112. ISSN 1567-8326 [Article]

Danicic, Sebastian; Hierons, Robert and Laurence, Michael. 2011. On the computational complexity of dynamic slicing problems for program schemas. Mathematical Structures in Computer Science, 21(06), pp. 1339-1362. ISSN 0960-1295 [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; Laurence, Michael and Hierons, Robert. 2009. Decidability of Strong Equivalence for Subschemas of a Class of Linear, Free, near-Liberal Program Schemas. Goldsmiths Department of Computing Technical Report, [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; 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; 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]

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; 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; 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]

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]