Mark Harman
机构: Research Scientist at Meta & Professor of Software Engineering at UCL
主页: ucl.ac.uk
每年引用次数
引用次数
引用: 43,426
H-指数: 104
I10-指数 : 378
出版物: 600
Proceedings of the Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II
Beyer Hans-Georg , Deb Kalyanmoy , Thierens Dirk , Luca Lanzi Pier
Springer-Verlag
1
2004
Using A Functional Language To Teach Elements Of Formal Methods
S. Danicic , M. Harman
WIT Transactions on Information and Communication Technologies 7
1970
Metrics are fitness functions too
J. Clark , M. Harman
ieee international software metrics symposium 58 -69
185
2004
Using An Interpreter To Teach IntroductoryProgramming
S. Danicic , M. Harman
WIT Transactions on Information and Communication Technologies 7
1970
Practical Subprogram Verification: AnApproach Which Uses Slicing, Metrics AndAxiomatic Verification
S. Danicic , M. Harman
WIT Transactions on Information and Communication Technologies 9
1970
Mechanized operational semantics of WSL
Xingyuan Zhang , M. Munro , M. Harman , Lin Hu
source code analysis and manipulation 73 -82
7
2002
VADA: a transformation-based system for variable dependence analysis
M. Harman , C. Fox , R. Hierons , Lin Hu
source code analysis and manipulation 55 -64
31
2002
An interprocedural amorphous slicer for WSL
M. Harman , Lin Hu , M. Munro , Xingyuan Zhang
source code analysis and manipulation 105 -114
4
2002
Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms
D. Binkley , M. Harman
source code analysis and manipulation 203 -212
16
2003
Formalizing executable dynamic and forward slicing
D. Binkley , S. Danicic , T. Gyimothy , M. Harman
source code analysis and manipulation 43 -52
9
2004
Forward slices are smaller than backward slices
D. Binkley , M. Harman
source code analysis and manipulation 15 -24
22
2005
Minimal slicing and the relationships between forms of slicing
D. Binkley , S. Danicic , T. Gyimothy , M. Harman
source code analysis and manipulation 45 -56
8
2005
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
R.M. Hierons , M. Harman
Theoretical Computer Science 323 ( 1) 191 -233
36
2004
Node coarsening calculi for program slicing
M. Harman , R. Hierons , S. Danicic , J. Howroyd
Proceedings Eighth Working Conference on Reverse Engineering 25 -34
11
2001
GUSTT: an amorphous slicing system which combines slicing and transformation
M. Harman , Lin Hu , M. Munro , Xingyuan Zhang
Proceedings Eighth Working Conference on Reverse Engineering 271 -280
15
2001
Code extraction algorithms which unify slicing and concept assignment
M. Harman , N. Gold , R. Hierons , D. Binkley
working conference on reverse engineering 11 -21
53
2002
A denotational interprocedural program slicer
L. Ouarbya , S. Danicic , M. Daoudi , M. Harman
working conference on reverse engineering 181 -189
15
2002
Search-based amorphous slicing
D. Fatiregun , M. Harman , R.M. Hierons
working conference on reverse engineering 3 -12
31
2005
Loop squashing transformations for amorphous slicing
Lin Hu , M. Harman , R.M. Hierons , D. Binkley
working conference on reverse engineering 152 -160
15
2004
Data dependence based testability transformation in automated test generation
B. Korel , M. Harman , S. Chung , P. Apirukvorapinit
international symposium on software reliability engineering 245 -254
32
2005