Browse by Goldsmiths authors: Danicic, Sebastian
Number of items: 53.
2011
A unifying theory of control dependence and its application to arbitrary program structures. (2011)
Danicic, Sebastian; Barraclough, Richard; Harman, Mark; Howroyd, John; Kiss, Akos and Laurence, Michael
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. (2011)
Danicic, Sebastian; Hierons, Robert and Laurence, Michael
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. (2011)
Danicic, Sebastian; Hierons, Robert and Laurence, Michael
An Evaluation of the Resilience of Static Java Bytecode Watermarks Against Distortive Attacks. (2011)
Hamilton, James Alexander George and Danicic, Sebastian
On the computational complexity of dynamic slicing problems for program schemas. (2011)
Danicic, Sebastian; Hierons, Robert and Laurence, Michael
A Survey of Static Software Watermarking. (2011)
Danicic, Sebastian and Hamilton, James Alexander George
2010
An Evaluation of Static Java Bytecode Watermarking. (2010)
Danicic, Sebastian and Hamilton, James Alexander George
A trajectory-based strict semantics for program slicing. (2010)
Danicic, Sebastian; Barraclough, Richard; Binkley, David; Harman, Mark; Hierons, Robert; Kiss, Ákos; Laurence, Michael and Ouarbya, Lahcen
2007
A non-standard semantics for program slicing and dependence analysis. (2007)
Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. (2007)
Danicic, Sebastian; Harman, M.; Hierons, R. and Laurence, M.
Special issue on Programming Language Interference and Dependence. (2007)
Clark, David M.; Danicic, Sebastian and Giacobazzi, Roberto
2006
Theoretical foundations of dynamic program slicing. (2006)
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos and Korel, Bogdan
A formal relationship between program slicing and partial evaluation. (2006)
Binkley, Dave; Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
2005
ConSUS: A lightweight program conditioner. (2005)
Danicic, Sebastian; Daoudi, Mohammed; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John; Ouarbya, Lahcen and Ward, Martin
Minimal slicing and the relationships between forms of slicing. (2005)
Danicic, Sebastian; Binkley, Dave; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos and Korel, Bogdan
Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas. (2005)
Danicic, Sebastian; Fox, Chris; Harman, Mark; Hierons, Robert; Howroyd, John and Laurence, Michael
2004
Formalizing executable dynamic and forward slicing. (2004)
Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Akos; Ouarbya, Lahcen and Binkley, Dave
A Lazy Semantics for Program Slicing. (2004)
Danicic, Sebastian; Harman, Mark; Howroyd, John and Ouarbya, Lahcen
Applications of linear program schematology in dependence analysis. (2004)
Danicic, Sebastian; Harman, Mark; Hierons, Robert; Howroyd, John; Laurence, Michael and Danicic, Sebastian
Building executable union slices using conditioned slicing. (2004)
Danicic, Sebastian; De Lucia, Andrea and Harman, Mark
Syntax-directed amorphous slicing. (2004)
Harman, Mark; Hu, Lin; Munro, Malcolm; Zhang, Xingyuan; Wendell Binkley, David; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen
ConSIT: a fully automated conditioned program slicer. (2004)
Fox, Chris; Danicic, Sebastian; Harman, Mark and Hierons, Robert
2003
Equivalence of conservative, free, linear programs is decidable. (2003)
Danicic, Sebastian; Laurence, M.; Harman, M. and Hierons, R.
Amorphous program slicing. (2003)
Harman, Mark; Wendell Binkley, David and Danicic, Sebastian
Guaranteed inconsistency avoidance during software evolution. (2003)
Gallagher, Keith Brian; Harman, Mark and Danicic, Sebastian
2002
A Denotational Interprocedural Program Slicer. (2002)
Ouarbya, Lahcen; Danicic, Sebastian; Daoudi, Mohammed; Harman, Mark and Fox, Chris
ConSUS: A scalable approach to conditioned slicing. (2002)
Daoudi, Mohammed; Danicic, Sebastian; Howroyd, John; Harman, Mark; Fox, Chris; Ouarbya, Lahcen and Ward, Martin
Evolutionary testing supported by slicing and transformation. (2002)
Harman, Mark; Hu, Lin; Hierons, Robert; Fox, Chris; Danicic, Sebastian; Baresel, Andre; Sthamer, Harmen and Wegener, Joachim
Vada: A transformation-based system for variable dependence analysis. (2002)
Harman, Mark; Fox, Chris; Hierons, Robert; Hu, Lin; Danicic, Sebastian and Wegener, Joachim
An interprocedural amorphous slicer for WSL. (2002)
Harman, Mark; Hu, Lin; Zhang, Xingyuan; Munro, Malcolm; Danicic, Sebastian; Daoudi, Mohammed and Ouarbya, Lahcen
2001
Node coarsening calculi for program slicing. (2001)
Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John; Laurence, Michael and Fox, Chris
Backward conditioning: a new program specialisation technique and its application to program comprehension. (2001)
Fox, Chris; Harman, Mark; Hierons, Robert and Danicic, Sebastian
Pre/post conditioned slicing. (2001)
Harman, Mark; Hierons, Robert; Danicic, Sebastian; Howroyd, John and Fox, Chris
1997
Amorphous program slicing. (1997)
Harman, Mark and Danicic, Sebastian
Slice-based measurement of coupling. (1997)
Harman, Mark; Okunlawon, Margaret; Sivagurunathan, Bala and Danicic, Sebastian
Slicing, I/O and the implicit state. (1997)
Sivagurunathan, Yogasundary; Harman, Mark and Danicic, Sebastian
1996
The next 700 slicing criteria. (1996)
Harman, Mark; Danicic, Sebastian; Sivagurunathan, Yogasundary and Simpson, Dan
A simultaneous slicing theory and derived program slicer (keynote). (1996)
Danicic, Sebastian and Harman, Mark
Towards the measurement of objects. (1996)
Harman, Mark and Danicic, Sebastian
Slicing programs in the presence of errors. (1996)
Harman, Mark; Simpson, D. J. and Danicic, Sebastian