Sebastian Danicic

Sebastian Danicic, Robert M. Hierons, Michael R. Laurence: Complexity of Data Dependence Problems for Program Schemas with Concurrency. ACM Trans. Comput. Log. 13(2): 15 (2012)

James Hamilton, Sebastian Danicic: Dependence communities in source code. ICSM 2012: 579-582

Sebastian Danicic, Robert M. Hierons, Michael R. Laurence: Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. J. Log. Algebr. Program. 80(2): 92-112 (2011)

Sebastian Danicic, Robert M. Hierons, Michael R. Laurence: Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. J. Log. Algebr. Program. 80(8): 481-496 (2011)

Sebastian Danicic, Robert M. Hierons, Michael R. Laurence: On the computational complexity of dynamic slicing problems for program schemas. Mathematical Structures in Computer Science 21(6): 1339-1362 (2011)

Sebastian Danicic, Richard W. Barraclough, Mark Harman, John Howroyd, Ákos Kiss, Michael R. Laurence: A unifying theory of control dependence and its application to arbitrary program structures. Theor. Comput. Sci. 412(49): 6809-6842 (2011)

Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya: A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010)

Sebastian Danicic, Robert M. Hierons, Michael R. Laurence: Complexity of Data Dependence problems for Program Schemas with Concurrency. CoRR abs/1007.3878 (2010)

James Hamilton, Sebastian Danicic: An Evaluation of Current Java Bytecode Decompilers. SCAM 2009: 129-136

David Clark, Sebastian Danicic, Roberto Giacobazzi: Special issue on Programming Language Interference and Dependence. J. Log. Algebr. Program. 72(2): 123 (2007)

Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya: A non-standard semantics for program slicing and dependence analysis. J. Log. Algebr. Program. 72(2): 191-206 (2007)

Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007)

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

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

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

Lewis I. Berman, Sebastian Danicic, Keith Brian Gallagher, Nicolas Gold: The Sound of Software: Using Sonification to Aid Comprehension. ICPC 2006: 225-229

Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence: Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005)

Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward: ConSUS: a light-weight program conditioner. Journal of Systems and Software 77(3): 241-262 (2005)

David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)

Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)

Sebastian Danicic, Andrea De Lucia, Mark Harman: Building Executable Union Slices using Conditioned Slicing. IWPC 2004: 89-99

David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52

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

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

Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd: Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003)

Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285

Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64

Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114

Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward: ConSUS: A Scalable Approach to Conditioned Slicing. WCRE 2002: 109-118

Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-

Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147

Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97

Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34

Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-

Sebastian Danicic, Mark Harman: Espresso: A Slicer Generator. SAC (2) 2000: 831-839

Robert M. Hierons, Mark Harman, Sebastian Danicic: Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test., Verif. Reliab. 9(4): 233-262 (1999)

Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217

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

Mark Harman, Yoga Sivagurunathan, Sebastian Danicic: Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM 1998: 336-

Yoga Sivagurunathan, Mark Harman, Sebastian Danicic: Slicing, I/O and the Implicit State. AADEBUG 1997: 59-68

Mark Harman, Sebastian Danicic: Amorphous Program Slicing. WPC 1997: 70-79

Mark Harman, Dan Simpson, Sebastian Danicic: Slicing Programs in the Presence of Errors. Formal Asp. Comput. 8(4): 490-497 (1996)

Sebastian Danicic, Mark Harman, Yoga Sivagurunathan: A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56(6): 307-313 (1995)

Mark Harman, Sebastian Danicic: Using Program Slicing to Simplify Testing. Softw. Test., Verif. Reliab. 5(3): 143-162 (1995)

Mark Harman, Sebastian Danicic: Projecting Functional Models of Imperative Programs. SIGPLAN Notices 28(11): 33-41 (1993)