| 2007 |
|---|
| 9 | EE | Sebastian 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) |
| 2006 |
|---|
| 8 | EE | David 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) |
| 2005 |
|---|
| 7 | EE | Sebastian 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) |
| 2004 |
|---|
| 6 | EE | David Binkley,
Sebastian Danicic,
Tibor Gyimóthy,
Mark Harman,
Ákos Kiss,
Lahcen Ouarbya:
Formalizing Executable Dynamic and Forward Slicing.
SCAM 2004: 43-52 |
| 5 | EE | Mark 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) |
| 2002 |
|---|
| 4 | EE | Mark Harman,
Lin Hu,
Malcolm Munro,
Xingyuan Zhang,
Sebastian Danicic,
Mohammed Daoudi,
Lahcen Ouarbya:
An Interprocedural Amorphous Slicer for WSL.
SCAM 2002: 105-114 |
| 3 | EE | Mohammed 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 |
| 2 | EE | Lahcen Ouarbya,
Sebastian Danicic,
Mohammed Daoudi,
Mark Harman,
Chris Fox:
A Denotational Interprocedural Program Slicer.
WCRE 2002: 181- |
| 1 | | Robert M. Hierons,
Mark Harman,
Chris Fox,
Lahcen Ouarbya,
Mohammed Daoudi:
Conditioned slicing supports partition testing.
Softw. Test., Verif. Reliab. 12(1): 23-28 (2002) |
