Published Conference Articles

1

James Hamilton and Sebastian Danicic.
A Survey of Static Software Watermarking.
In Proceedings of the World Congress on Internet Security 2011, London, 2011. IEEE.

2

James Hamilton and Sebastian Danicic.
An Evaluation of Static Java Bytecode Watermarking.
In Proceedings of the International Conference on Computer Science and Applications (ICCSA’10), The World Congress on Engineering and Computer Science (WCECS’10), volume 1, pages 1 - 8, San Francisco, USA, October 2010.

3

Sebastian Danicic, David Binkley, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Bogdan Korel.
Minimal slicing and the relationships between forms of slicing.
In $5^{th}$ IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 05), pages 45-54, Los Alamitos, California, USA, 2005. IEEE Computer Society Press.
Best paper award winner.

4

Sebastian Danicic, Mark Harman, John Howroyd, and Lahcen Ouarbya.
A lazy semantics for program slicing.
In $1^{st.}$ International Workshop on Programming Language Interference and Dependence, Verona, Italy, August 2004.

5

Sebastian Danicic, Mark Harman, Robert Hierons, John Howroyd, and Mike Laurence.
Applications of linear program schematology in dependence analysis.
In $1^{st.}$ International Workshop on Programming Language Interference and Dependence, Verona, Italy, August 2004.

6

Dave Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, and Lahcen Ouarbya.
Formalizing executable dynamic and forward slicing.
In $4^{th}$ International Workshop on Source Code Analysis and Manipulation (SCAM 04), pages 43-52, Los Alamitos, California, USA, September 2004. IEEE Computer Society Press.

7

Sebastian Danicic, Andrea De Lucia, and Mark Harman.
Building executable union slices using conditioned slicing.
In $12^{th}$ International Workshop on Program Comprehension, pages 89-97, Los Alamitos, California, USA, June 2004. IEEE Computer Society Press.

8

Mohammed Daoudi, Sebastian Danicic, John Howroyd, Mark Harman, Chris Fox, Lahcen Ouarbya, and Martin Ward.
ConSUS: A scalable approach to conditioned slicing.
In IEEE Working Conference on Reverse Engineering (WCRE 2002), pages 109-118, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.
Invited for special issue of the Journal of Systems and Software as best paper from WCRE 2002.

9

Lahcen Ouarbya, Sebastian Danicic, Dave (Mohammed) Daoudi, Mark Harman, and Chris Fox.
A denotational interprocedural program slicer.
In IEEE Working Conference on Reverse Engineering (WCRE 2002), pages 181 - 189, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.

10

Mark Harman, Lin Hu, Robert Mark Hierons, Chris Fox, Sebastian Danicic, André Baresel, Harmen Sthamer, and Joachim Wegener.
Evolutionary testing supported by slicing and transformation.
In IEEE International Conference on Software Maintenance, page 285, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.

11

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

12

Mark Harman, Lin Hu, Xingyuan Zhang, Malcolm Munro, Sebastian Danicic, Mohammed Daoudi, and Lahcen Ouarbya.
An interprocedural amorphous slicer for WSL.
In IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), pages 105-114, Los Alamitos, California, USA, October 2002. IEEE Computer Society Press.
Selected for consideration for the special issue of the Journal of Automated Software Engineering.

13

Mark Harman, Rob Mark Hierons, Sebastian Danicic, John Howroyd, and Chris Fox.
Pre/post conditioned slicing.
In IEEE International Conference on Software Maintenance (ICSM'01), pages 138-147, Los Alamitos, California, USA, November 2001. IEEE Computer Society Press.

14

Mark Harman, Rob Mark Hierons, Sebastian Danicic, John Howroyd, Mike Laurence, and Chris Fox.
Node coarsening calculi for program slicing.
In $8^{th}$ Working Conference on Reverse Engineering, pages 25-34, Los Alamitos, California, USA, October 2001. IEEE Computer Society Press.

15

Chris Fox, Mark Harman, Rob Mark Hierons, and Sebastian Danicic.
Backward conditioning: a new program specialisation technique and its application to program comprehension.
In $9^{th}$ IEEE International Workshop on Program Comprenhesion, pages 89-97, Los Alamitos, California, USA, May 2001. IEEE Computer Society Press.

16

Sebastian Danicic, Chris Fox, Mark Harman, and Rob Mark Hierons.
ConSIT: A conditioned program slicer.
In IEEE International Conference on Software Maintenance (ICSM'00), pages 216-226, Los Alamitos, California, USA, October 2000. IEEE Computer Society Press.

17

Mark Harman, Rob Mark Hierons, and Sebastian Danicic.
The relationship between program dependence and mutation analysis.
In W. Eric Wong, editor, Mutation Testing for the New Century (proceedings of Mutation 2000), pages 5-13, San Jose, California, USA, October 2001. Kluwer.

18

Sebastian Danicic and Mark Harman.
Espresso: A slicer generator.
In ACM Symposium on Applied Computing, (SAC'00), pages 831-839, Como, Italy, March 2000.

19

Mark Harman, Chris Fox, Rob Mark Hierons, David Wendell Binkley, and Sebastian Danicic.
Program simplification as a means of approximating undecidable propositions.
In $7^{th}$ IEEE International Workshop on Program Comprenhesion (IWPC'99), pages 208-217, Los Alamitos, California, USA, May 1999. IEEE Computer Society Press.

20

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.

21

Mark Harman, Yoga Sivagurunathan, and Sebastian Danicic.
Analysis of dynamic memory access using amorphous slicing.
In IEEE International Conference on Software Maintenance (ICSM'98), pages 336-345, Los Alamitos, California, USA, November 1998. IEEE Computer Society Press.

22

Mark Harman, Margaret Okunlawon, Bala Sivagurunathan, and Sebastian Danicic.
Slice-based measurement of coupling.
In Rachel Harrison, editor, $19^{th}$ ICSE, Workshop on Process Modelling and Empirical Studies of Software Evolution, Boston, Massachusetts, USA, May 1997.

23

Yoga Sivagurunathan, Mark Harman, and Sebastian Danicic.
Slicing, I/O and the implicit state.
In Mariam Kamkar, editor, $3^{rd}$ International Workshop on Automated Debugging ( AADEBUG'97 ), volume 2 of Linköping Electronic Articles in Computer and Information Science, pages 59-65, Linköping, Sweden, May 1997.

24

Mark Harman and Sebastian Danicic.
Amorphous program slicing.
In $5^{th}$ IEEE International Workshop on Program Comprenhesion (IWPC'97), pages 70-79, Los Alamitos, California, USA, May 1997. IEEE Computer Society Press.

25

Sebastian Danicic and Mark Harman.
A simultaneous slicing theory and derived program slicer (keynote).
In $4^{th}$ RIMS Workshop in Computing, Kyoto University, Kyoto, Japan, July 1996.

26

Mark Harman and Sebastian Danicic (invited talk).
Towards the measurement of objects.
In Martin Shepperd, editor, $1^{st}$ Bournemouth Metrics Workshop, Bournemouth University, UK, April 1996.

27

Mark Harman, Sebastian Danicic, Yogasundary Sivagurunathan, and Dan Simpson.
The next $700$ slicing criteria.
In Malcolm Munro, editor, $2^{nd}$ UK workshop on program comprehension, Durham University, UK, July 1996.

28

Mark Harman, Sebastian Danicic, and Yogasundary Sivagurunathan.
Program comprehension assisted by slicing and transformation.
In Malcolm Munro, editor, $1^{st}$ UK workshop on program comprehension, Durham University, UK, July 1995.