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
• My Diary (This Year)
• My Blog

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 .
• I am a member of ASTReNet

• Java Tools
  • Lava A mutation testing system for Java.

Conferences

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

Publications

• Published Journal Articles
  
• Conference Articles (refereed)
  

PhD Students

Previous

• 1992 Mark Harman (UNL) Functional Models of Procedural Programs
• 2004 Yoga Sivaguranrathan (London Met.) (Mark Harman main supervisor) Modelling Dynamic Memory Allocation and Deallocation using Amorphous Slicing
• 2004 Michael Laurence (Goldsmiths) Equivalence of Liberal Free Linear Program Schemas is Decidable in Polynmial Time
• 2005 Lahcen Ouarbya (Goldsmiths) A Lazy Semantics for Program Slicing

Current

• Dave Daoudi (Goldsmiths) Light Weight Program Conditioning(submitted 2005)
• Konstantinos Adamopoulos (Kings) Mutation Testing (Mark Harman main supervisor)
• Bala Sivaguranathan (London Met) Slice-Based Measurement of Cohesion and Coupling (Mark Harman main supervisor).
• Eamonn Martin (Goldsmiths)
  Java Slicing tools

• Ivan
• L1
• L2
• L3
• L4