dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sebastian Danicic (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian 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)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Andrea De Lucia, Mark Harman: Building Executable Union Slices using Conditioned Slicing. IWPC 2004: 89-99
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya: Formalizing Executable Dynamic and Forward Slicing. SCAM 2004: 43-52
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons: ConSIT: a fully automated conditioned program slicer. Softw., Pract. Exper. 34(1): 15-46 (2004)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith Gallagher, Mark Harman, Sebastian Danicic: Guaranteed inconsistency avoidance during software evolution. Journal of Software Maintenance 15(6): 393-416 (2003)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, David Binkley, Sebastian Danicic: Amorphous program slicing. Journal of Systems and Software 68(1): 45-64 (2003)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMohammed 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox: A Denotational Interprocedural Program Slicer. WCRE 2002: 181-
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd: Pre/Post Conditioned Slicing. ICSM 2001: 138-147
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox: Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic: ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Mark Harman: Espresso: A Slicer Generator. SAC (2) 2000: 831-839
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic: Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Yoga Sivagurunathan, Sebastian Danicic: Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM 1998: 336-
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Sebastian Danicic: A new algorithm for slicing unstructured programs. Journal of Software Maintenance 10(6): 415-441 (1998)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYoga Sivagurunathan, Mark Harman, Sebastian Danicic: Slicing, I/O and the Implicit State. AADEBUG 1997: 59-68
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Sebastian Danicic: Amorphous Program Slicing. WPC 1997: 70-79
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Dan Simpson, Sebastian Danicic: Slicing Programs in the Presence of Errors. Formal Asp. Comput. 8(4): 490-497 (1996)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Danicic, Mark Harman, Yoga Sivagurunathan: A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56(6): 307-313 (1995)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Sebastian Danicic: Using Program Slicing to Simplify Testing. Softw. Test., Verif. Reliab. 5(3): 143-162 (1995)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Harman, Sebastian Danicic: Projecting Functional Models of Imperative Programs. SIGPLAN Notices 28(11): 33-41 (1993)

Selection of 37 from 45 records - Sebastian Danicic has 29 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page