Journal Articles

1

James Hamilton and Sebastian Danicic.
An Evaluation of the Resilience of Static Java Bytecode Watermarks Against Distortive Attacks.
IAENG International Journal of Computer Science, 38(1):1-15, 2011.

2

Sebastian Danicic, Mark Harman, Robert Mark Hierons, John Howroyd, and Mike Laurence.
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.
Theoretical Computer Science, 373:1-18, March 2007.

3

Sebastian Danicic, , Mark Harman, John Howroyd, and Lahcen Ouarbya.
A non-standard semantics for program slicing and dependence analysis.
Logic and Algebraic Programming, Special Issue on Theory and Foundations of Programming Language Interference and Dependence, 72:123-240, July-August 2007.

4

David Clark, Sebastian Danicic, and Roberto Giacobazzi.
Special issue on theory and foundations of programming language interference and dependence.
Logic and Algebraic Programming, 72:123-240, July-August 2007.

5

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Bogdan Korel.
A formalisation of the relationship between forms of program slicing.
Science of Computer Programming, 62(3):228-252, 2006.

6

David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Bogdan Korel.
Theoretical foundations of dynamic program slicing.
Theoretical Computer Science, 360(1):23-41, 2006.

7

David Wendell Binkley, Sebastian Danicic, Mark Harman, John Howroyd, and Lahcen Ouarbya.
A formal relationship between program slicing and partial evaluation.
Formal Aspects of Computing, 18(2):103-119, 2006.

8

Sebastian Danicic, Chris Fox, Mark Harman, Robert Mark Hierons, John Howroyd, and Mike Laurence.
Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas.
The computer Journal, 48(6):737-748, 2005.

9

Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert Mark Hierons, John Howroyd, Lahcen Ouarbya, and Martin Ward.
Consus: A lightweight program conditioner.
Journal of Systems and Software, 77(3):241-262, 2005.

10

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Wendell Binkley, Sebastian Danicic, Mohammed Daoudi, and Lahcen Ouarbya.
Syntax-directed amorphous slicing.
Journal of Automated Software Engineering, 11(1):27-61, January 2004.

11

Chris Fox, Sebastian Danicic, Mark Harman, and Robert Mark Hierons.
ConSIT: a fully automated conditioned program slicer.
Software--Practice and Experience, 34:15-46, 2004.
Published online 26th November 2003.

12

Keith Brian Gallagher, Mark Harman, and Sebastian Danicic.
Guaranteed inconsistency avoidance during software evolution.
Journal of Software Maintenance and Evolution, 15(6):393-416, Nov/Dec 2003.

13

Mark Harman, David Wendell Binkley, and Sebastian Danicic.
Amorphous program slicing.
Journal of Systems and Software, 68(1):45-64, October 2003.

14

Michael R. Laurence, Sebastian Danicic, Mark Harman, Rob Hierons, and John Howroyd.
Equivalence of conservative, free, linear program schemas is decidable.
Theoretical Computer Science, 290:831-862, January 2003.

15

Robert Mark Hierons, Mark Harman, and Sebastian Danicic.
Using program slicing to assist in the detection of equivalent mutants.
Software Testing, Verification and Reliability, 9(4):233-262, 1999.

16

Mark Harman and Sebastian Danicic.
A new algorithm for slicing unstructured programs.
Journal of Software Maintenance and Evolution, 10(6):415-441, 1998.

17

Mark Harman, Dan Simpson, and Sebastian Danicic.
Slicing programs in the presence of errors.
Formal Aspects of Computing, 8(4):490-497, 1996.

18

Sebastian Danicic, Mark Harman, and Yogasundary Sivagurunathan.
A parallel algorithm for static program slicing.
Information Processing Letters, 56(6):307-313, December 1995.