Static Backward Slicing of Non-deterministic Programs and Systems von Danicic, Sebastian, Laurence, Michael R.

Volltext

Using program slicing to assist in the detection of equivalent mutants von Hierons, Rob, Harman, Mark, Danicic, Sebastian

Volltext

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas von Danicic, Sebastian, Fox, Chris, Harman, Mark, Hierons, Rob, Howroyd, John, Laurence, Michael R

Volltext

Complexity of Data Dependence Problems for Program Schemas with Concurrency von Danicic, Sebastian, Hierons, Robert M., Laurence, Michael R.

Volltext

Improving Record Linkage Accuracy with Hierarchical Feature Level Information and Parsed Data von Zhou, Yun, Wang, Minlue, Haberland, Valeriia, Howroyd, John, Danicic, Sebastian, Bishop, J. Mark

Volltext

On the computational complexity of dynamic slicing problems for program schemas von DANICIC, SEBASTIAN, HIERONS, ROBERT. M., LAURENCE, MICHAEL R.

Volltext

A unifying theory of control dependence and its application to arbitrary program structures von Danicic, Sebastian, Barraclough, Richard W., Harman, Mark, Howroyd, John D., Kiss, Ákos, Laurence, Michael R.

Volltext

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time von Danicic, Sebastian, Harman, Mark, Hierons, Rob, Howroyd, John, Laurence, Michael R.

Volltext

Amorphous program slicing von Harman, Mark, Binkley, David, Danicic, Sebastian

Volltext

Theoretical foundations of dynamic program slicing von BINKLEY, Dave, DANICIC, Sebastian, GYIMOTHY, Tibor, HARMAN, Mark, KISS, Akos, KOREL, Bogdan

Volltext

A trajectory-based strict semantics for program slicing von Barraclough, Richard W., Binkley, David, Danicic, Sebastian, Harman, Mark, Hierons, Robert M., Kiss, Ákos, Laurence, Mike, Ouarbya, Lahcen

Volltext

A formalisation of the relationship between forms of program slicing von Binkley, Dave, Danicic, Sebastian, Gyimóthy, Tibor, Harman, Mark, Kiss, Ákos, Korel, Bogdan

Volltext

A new algorithm for slicing unstructured programs von Harman, Mark, Danicic, Sebastian

Volltext

Extending Naive Bayes Classifier with Hierarchy Feature Level Information for Record Linkage von Zhou, Yun, Howroyd, John, Danicic, Sebastian, Bishop, J. Mark

Volltext

C ON SIT: a fully automated conditioned program slicer von Fox, Chris, Danicic, Sebastian, Harman, Mark, Hierons, Robert M.

Volltext

Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext bestellen

On the computational complexity of dynamic slicing problems for program schemas von Danicic, Sebastian, Hierons, Robert M, Laurence, Michael R

Volltext bestellen

A survey of static software watermarking von Hamilton, James, Danicic, Sebastian

Volltext bestellen

CONSIT: a fully automated conditioned program slicer von Fox, Chris, Danicic, Sebastian, Harman, Mark, Hierons, Robert M.

Volltext

ConSUS: a light-weight program conditioner von Danicic, Sebastian, Daoudi, Mohammed, Fox, Chris, Harman, Mark, Hierons, Robert M., Howroyd, John R., Ourabya, Lahcen, Ward, Martin

Volltext