Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]
Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

Sebastian Danicic

• My Java Programming Course
• Other Information for Students
• My BSc Project Titles for next year

I am director of the Goldsmiths College Program Tranformation and Analysis Group

Projects

• 2000- Co-investigator Guided Slicing and Targeted Transformation (EPSRC GR/M58719)
• 2003- Co-investigator TETRA project (EPSRC GR/R98938/01).
• I am a member of VASTT .
• Java Tools
  • Lava A mutation testing system for Java.

Conferences

• PLID 2005
• My Slides for PLID
• SCAM 2005
• Slicing Dagstuhl

Published Journal Articles

1

Sebastian Danicic, Chris Fox, Mark Harman, Robert Mark Hierons, John Howroyd, and Mike Laurence.
Static program slicing algorithms are minimal for free liberal program schemas.
The Computer Journal.
Accepted June 2005.

2

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, 2004.
Accepted February 28th 2004.

3

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.

4

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.

5

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.

6

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

7

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.

8

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.

9

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

10

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

11

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

Published Fully Refereed Conference Articles

1

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, Budapest, Hungary, 2005. IEEE Computer Society Press, Los Alamitos, California, USA.
Best paper award winner.

2

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.

3

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.

4

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, Chicago, Illinois, USA, September 2004. IEEE Computer Society Press, Los Alamitos, California, USA.

5

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

6

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, Richmond, Virginia, USA, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
Invited for special issue of the Journal of Systems and Software as best paper from WCRE 2002.

7

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, Richmond, Virginia, USA, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA.

8

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 (ICSM 2002), page 285, Montreal, Canada, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA.

9

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, Montreal, Canada, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
Voted best paper by attendees.

10

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, Montreal, Canada, October 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
Selected for consideration for the special issue of the Journal of Automated Software Engineering.

11

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, Florence, Italy, November 2001. IEEE Computer Society Press, Los Alamitos, California, USA.

12

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, Stuttgart, October 2001. IEEE Computer Society Press, Los Alamitos, California, USA.

13

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 (IWPC'01), pages 89-97, Toronto, Canada, May 2001. IEEE Computer Society Press, Los Alamitos, California, USA.

14

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, San Jose, California, USA, October 2000. IEEE Computer Society Press, Los Alamitos, California, USA.

15

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.

16

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

17

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, Pittsburgh, Pennsylvania, USA, May 1999. IEEE Computer Society Press, Los Alamitos, California, USA.

18

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.

19

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, Bethesda, Maryland, USA, November 1998. IEEE Computer Society Press, Los Alamitos, California, USA.

20

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.

21

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.

22

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

23

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

24

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

25

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.

26

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.