Sebastian Danicic

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 5

Top Topics

Computational Complexity

Naive Bayes Classifier

Automated Tools

Top Venues

ACM Trans. Comput. Log.

ACM Trans. Program. Lang. Syst.

Publications

Sebastian Danicic, Michael R. Laurence
Static Backward Slicing of Non-deterministic Programs and Systems. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
On the computational complexity of dynamic slicing problems for program schemas. CoRR (2017)
Yun Zhou, Minlue Wang, Valeriia Haberland, John Howroyd, Sebastian Danicic, J. Mark Bishop
Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data. New Gener. Comput. 35 (1) (2017)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas. CoRR (2017)
Yun Zhou, John Howroyd, Sebastian Danicic, J. Mark Bishop
Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage. AMBN@JSAI-isAI (2015)
James Alexander George Hamilton, Sebastian Danicic
Dependence communities in source code. ICSM (2012)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Complexity of Data Dependence Problems for Program Schemas with Concurrency. ACM Trans. Comput. Log. 13 (2) (2012)
James Alexander George Hamilton, Sebastian Danicic
A survey of static software watermarking. WorldCIS (2011)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. J. Log. Algebraic Methods Program. 80 (8) (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) (2011)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
On the computational complexity of dynamic slicing problems for program schemas. Math. Struct. Comput. Sci. 21 (6) (2011)
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. Algebraic Methods Program. 80 (2) (2011)
Sebastian Danicic, Robert M. Hierons, Michael R. Laurence
Complexity of Data Dependence problems for Program Schemas with Concurrency CoRR (2010)
Richard W. Barraclough, David W. 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) (2010)
James Alexander George Hamilton, Sebastian Danicic
An Evaluation of Current Java Bytecode Decompilers. SCAM (2009)
Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
A non-standard semantics for program slicing and dependence analysis. J. Log. Algebraic Methods Program. 72 (2) (2007)
David Clark, Sebastian Danicic, Roberto Giacobazzi
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72 (2) (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) (2007)
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360 (1-3) (2006)
Lewis Irwin Berman, Sebastian Danicic, Keith B. Gallagher, Nicolas Gold
The Sound of Software: Using Sonification to Aid Comprehension. ICPC (2006)
David W. Binkley, Sebastian Danicic, Mark Harman, John Howroyd, Lahcen Ouarbya
A formal relationship between program slicing and partial evaluation. Formal Aspects Comput. 18 (2) (2006)
David W. 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) (2006)
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) (2005)
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
Minimal Slicing and the Relationships Between Forms of Slicing. SCAM (2005)
Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward
: a light-weight program conditioner. J. Syst. Softw. 77 (3) (2005)
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
ConSIT: a fully automated conditioned program slicer. Softw. Pract. Exp. 34 (1) (2004)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11 (1) (2004)
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Lahcen Ouarbya
Formalizing Executable Dynamic and Forward Slicing. SCAM (2004)
Sebastian Danicic, Andrea De Lucia, Mark Harman
Building Executable Union Slices using Conditioned Slicing. IWPC (2004)
Mark Harman, David W. Binkley, Sebastian Danicic
Amorphous program slicing. J. Syst. Softw. 68 (1) (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) (2003)
Keith B. Gallagher, Mark Harman, Sebastian Danicic
Guaranteed inconsistency avoidance during software evolution. J. Softw. Maintenance Res. Pract. 15 (6) (2003)
Mohammed Daoudi, Lahcen Ouarbya, John Howroyd, Sebastian Danicic, Mark Harman, Chris Fox, Martin P. Ward
ConSUS: A Scalable Approach to Conditioned Slicing. WCRE (2002)
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)
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM (2002)
Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya
An Interprocedural Amorphous Slicer for WSL. SCAM (2002)
Lahcen Ouarbya, Sebastian Danicic, Mohammed Daoudi, Mark Harman, Chris Fox
A Denotational Interprocedural Program Slicer. WCRE (2002)
Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
Pre/Post Conditioned Slicing. ICSM (2001)
Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
Node Coarsening Calculi for Program Slicing. WCRE (2001)
Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC (2001)
Sebastian Danicic, Mark Harman
Espresso: A Slicer Generator. SAC (2) (2000)
Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
ConSIT: A Conditioned Program Slicer. ICSM (2000)
Robert M. Hierons, Mark Harman, Sebastian Danicic
Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test. Verification Reliab. 9 (4) (1999)
Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic
Program Simplification as a Means of Approximating Undecidable Propositions. IWPC (1999)
Mark Harman, Sebastian Danicic
A new algorithm for slicing unstructured programs. J. Softw. Maintenance Res. Pract. 10 (6) (1998)
Mark Harman, Yoga Sivagurunathan, Sebastian Danicic
Analysis of Dynamic Memory Access Using Amorphous Slicing. ICSM (1998)
Yoga Sivagurunathan, Mark Harman, Sebastian Danicic
Slicing, I/O and the Implicit State. AADEBUG (1997)
Mark Harman, Sebastian Danicic
Amorphous Program Slicing. WPC (1997)
Mark Harman, Dan Simpson, Sebastian Danicic
Slicing Programs in the Presence of Errors. Formal Aspects Comput. 8 (4) (1996)
Sebastian Danicic, Mark Harman, Yoga Sivagurunathan
A Parallel Algorithm for Static Program Slicing. Inf. Process. Lett. 56 (6) (1995)
Mark Harman, Sebastian Danicic
Using Program Slicing to Simplify Testing. Softw. Test. Verification Reliab. 5 (3) (1995)
Mark Harman, Sebastian Danicic
Projecting Functional Models of Imperative Programs. ACM SIGPLAN Notices 28 (11) (1993)
G. R. Perkins, R. W. Norman, Sebastian Danicic
Coping with deeply nested control structures. ACM SIGPLAN Notices 22 (2) (1987)