Sebastian Danicic

ACM Trans. Program. Lang. Syst., 2018

2017

Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data.

[BibT_eX]

[DOI]

New Gener. Comput., 2017

2015

Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage.

[BibT_eX]

[DOI]

Proceedings of the Advanced Methodologies for Bayesian Networks, 2015

2012

Complexity of Data Dependence Problems for Program Schemas with Concurrency.

[BibT_eX]

[DOI]

James Alexander George Hamilton

ACM Trans. Comput. Log., 2012

Dependence communities in source code.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2011

A unifying theory of control dependence and its application to arbitrary program structures.

[BibT_eX]

[DOI]

Richard W. Barraclough

Theor. Comput. Sci., 2011

On the computational complexity of dynamic slicing problems for program schemas.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.

[BibT_eX]

[DOI]

James Alexander George Hamilton

J. Log. Algebraic Methods Program., 2011

A survey of static software watermarking.

[BibT_eX]

[DOI]

James Alexander George Hamilton

Proceedings of the 2011 World Congress on Internet Security, 2011

2010

A trajectory-based strict semantics for program slicing.

[BibT_eX]

[DOI]

Richard W. Barraclough

Theor. Comput. Sci., 2010

2009

An Evaluation of Current Java Bytecode Decompilers.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

2007

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

A non-standard semantics for program slicing and dependence analysis.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

Special issue on Programming Language Interference and Dependence.

[BibT_eX]

[DOI]

David Clark

Roberto Giacobazzi

J. Log. Algebraic Methods Program., 2007

2006

Theoretical foundations of dynamic program slicing.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

A formalisation of the relationship between forms of program slicing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

A formal relationship between program slicing and partial evaluation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2006

The Sound of Software: Using Sonification to Aid Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

2005

<i>ConSUS</i>: a light-weight program conditioner.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas.

[BibT_eX]

[DOI]

Comput. J., 2005

Minimal Slicing and the Relationships Between Forms of Slicing.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

2004

ConSIT: a fully automated conditioned program slicer.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2004

Syntax-Directed Amorphous Slicing.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2004

Formalizing Executable Dynamic and Forward Slicing.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Building Executable Union Slices using Conditioned Slicing.

[BibT_eX]

[DOI]

Andrea De Lucia

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

2003

Equivalence of conservative, free, linear program schemas is decidable.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Guaranteed inconsistency avoidance during software evolution.

[BibT_eX]

[DOI]

Keith B. Gallagher

J. Softw. Maintenance Res. Pract., 2003

Amorphous program slicing.

[BibT_eX]

[DOI]

David W. Binkley

J. Syst. Softw., 2003

2002

A Denotational Interprocedural Program Slicer.

[BibT_eX]

[DOI]

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

ConSUS: A Scalable Approach to Conditioned Slicing.

[BibT_eX]

[DOI]

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

An Interprocedural Amorphous Slicer for WSL.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

VADA: A Transformation-Based System for Variable Dependence Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Evolutionary Testing Supported by Slicing and Transformation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Node Coarsening Calculi for Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the Eighth Working Conference on Reverse Engineering, 2001

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Program Comprehension (IWPC 2001), 2001

Pre/Post Conditioned Slicing.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

Espresso: A Slicer Generator.

[BibT_eX]

[DOI]

Proceedings of the Applied Computing 2000, 2000

ConSIT: A Conditioned Program Slicer.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Software Maintenance, 2000

1999

Using Program Slicing to Assist in the Detection of Equivalent Mutants.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1999

Program Simplification as a Means of Approximating Undecidable Propositions.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998

A new algorithm for slicing unstructured programs.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1998

Analysis of Dynamic Memory Access Using Amorphous Slicing.

[BibT_eX]

[DOI]

Yoga Sivagurunathan

Proceedings of the 1998 International Conference on Software Maintenance, 1998

1997

Amorphous Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

Slicing, I/O and the Implicit State.

[BibT_eX]

[DOI]

Yoga Sivagurunathan

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Slicing Programs in the Presence of Errors.

[BibT_eX]

[DOI]

Dan Simpson

Formal Aspects Comput., 1996

1995

Using Program Slicing to Simplify Testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1995

A Parallel Algorithm for Static Program Slicing.

[BibT_eX]

[DOI]

Yoga Sivagurunathan

Inf. Process. Lett., 1995

1993

Projecting Functional Models of Imperative Programs.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1993

1987

Coping with deeply nested control structures.

[BibT_eX]

[DOI]

G. R. Perkins

R. W. Norman