×

zbMATH — the first resource for mathematics

Harman, Mark

Compute Distance To:
Author ID: harman.mark Recent zbMATH articles by "Harman, Mark"
Published as: Harman, Mark; Harman, M.
External Links: ORCID · dblp
Documents Indexed: 21 Publications since 1995, including 2 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 55 times in 29 Documents Cited by Year
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Zbl 1078.68084
Hierons, R. M.; Harman, M.
7
2004
Testing conformance to a quasi-non-deterministic stream X-machine. Zbl 1013.68104
Hierons, R. M.; Harman, M.
7
2000
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Zbl 1111.68024
Danicic, Sebastian; Harman, Mark; Hierons, Rob; Howroyd, John; Laurence, Michael R.
6
2007
Equivalence of conservative, free, linear program schemas is decidable. Zbl 1019.68011
Laurence, Michael R.; Danicic, Sebastian; Harman, Mark; Hierons, Rob; Howroyd, John
5
2003
Theoretical foundations of dynamic program slicing. Zbl 1097.68026
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan
5
2006
Slicing programs in the presence of errors. Zbl 0857.68017
Harman, Mark; Simpson, Dan; Danicic, Sebastian
4
1996
A parallel algorithm for static program slicing. Zbl 0875.68506
Danicic, Sebastian; Harman, Mark; Sivagurunathan, Yoga
4
1995
A unifying theory of control dependence and its application to arbitrary program structures. Zbl 1231.68179
Danicic, Sebastian; Barraclough, Richard W.; Harman, Mark; Howroyd, John D.; Kiss, Ákos; Laurence, Michael R.
4
2011
A formalisation of the relationship between forms of program slicing. Zbl 1100.68549
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan
3
2006
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
2
2002
Computing unique input/output sequences using genetic algorithms. Zbl 1185.68247
Guo, Qiang; Hierons, Robert M.; Harman, Mark; Derderian, Karnig
2
2004
A trajectory-based strict semantics for program slicing. Zbl 1191.68405
Barraclough, Richard W.; Binkley, David; Danicic, Sebastian; Harman, Mark; Hierons, Robert M.; Kiss, Ákos; Laurence, Mike; Ouarbya, Lahcen
2
2010
A non-standard semantics for program slicing and dependence analysis. Zbl 1119.68110
Danicic, Sebastian; Harman, Mark; Howroyd, John; Ouarbya, Lahcen
2
2007
A formal relationship between program slicing and partial evaluation. Zbl 1102.68442
Binkley, David W.; Danicic, Sebastian; Harman, Mark; Howroyd, John; Ouarbya, Lahcen
1
2006
Finding building blocks for software clustering. Zbl 1038.68783
Mahdavi, Kiarash; Harman, Mark; Hierons, Robert
1
2003
A unifying theory of control dependence and its application to arbitrary program structures. Zbl 1231.68179
Danicic, Sebastian; Barraclough, Richard W.; Harman, Mark; Howroyd, John D.; Kiss, Ákos; Laurence, Michael R.
4
2011
A trajectory-based strict semantics for program slicing. Zbl 1191.68405
Barraclough, Richard W.; Binkley, David; Danicic, Sebastian; Harman, Mark; Hierons, Robert M.; Kiss, Ákos; Laurence, Mike; Ouarbya, Lahcen
2
2010
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Zbl 1111.68024
Danicic, Sebastian; Harman, Mark; Hierons, Rob; Howroyd, John; Laurence, Michael R.
6
2007
A non-standard semantics for program slicing and dependence analysis. Zbl 1119.68110
Danicic, Sebastian; Harman, Mark; Howroyd, John; Ouarbya, Lahcen
2
2007
Theoretical foundations of dynamic program slicing. Zbl 1097.68026
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan
5
2006
A formalisation of the relationship between forms of program slicing. Zbl 1100.68549
Binkley, Dave; Danicic, Sebastian; Gyimóthy, Tibor; Harman, Mark; Kiss, Ákos; Korel, Bogdan
3
2006
A formal relationship between program slicing and partial evaluation. Zbl 1102.68442
Binkley, David W.; Danicic, Sebastian; Harman, Mark; Howroyd, John; Ouarbya, Lahcen
1
2006
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Zbl 1078.68084
Hierons, R. M.; Harman, M.
7
2004
Computing unique input/output sequences using genetic algorithms. Zbl 1185.68247
Guo, Qiang; Hierons, Robert M.; Harman, Mark; Derderian, Karnig
2
2004
Equivalence of conservative, free, linear program schemas is decidable. Zbl 1019.68011
Laurence, Michael R.; Danicic, Sebastian; Harman, Mark; Hierons, Rob; Howroyd, John
5
2003
Finding building blocks for software clustering. Zbl 1038.68783
Mahdavi, Kiarash; Harman, Mark; Hierons, Robert
1
2003
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
2
2002
Testing conformance to a quasi-non-deterministic stream X-machine. Zbl 1013.68104
Hierons, R. M.; Harman, M.
7
2000
Slicing programs in the presence of errors. Zbl 0857.68017
Harman, Mark; Simpson, Dan; Danicic, Sebastian
4
1996
A parallel algorithm for static program slicing. Zbl 0875.68506
Danicic, Sebastian; Harman, Mark; Sivagurunathan, Yoga
4
1995

Citations by Year