关注
Mark Harman
Mark Harman
Research Scientist at Meta & Professor of Software Engineering at UCL
在 ucl.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
年份
" Ignorance and Prejudice" in Software Fairness
JM Zhang, M Harman
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
612021
“Fairness analysis” in requirements assignments
A Finkelstein, M Harman, SA Mansouri, J Ren, Y Zhang
2008 16th IEEE International Requirements Engineering Conference, 115-124, 2008
822008
< i> ConSUS</i>: a light-weight program conditioner
S Danicic, M Daoudi, C Fox, M Harman, RM Hierons, JR Howroyd, ...
Journal of Systems and Software 77 (3), 241-262, 2005
252005
10111 executive summary–practical software testing: Tool automation and human factors
M Harman, H Muccini, W Schulte, T Xie
Practical Software Testing: Tool Automation and Human Factors, 2010
22010
1st International Workshop on Combining Modelling and Search-Based Software Engineering, CMSBSE@ ICSE 2013, San Francisco, CA, USA, May 20, 2013
RF Paige, M Harman, JR Williams
CMSBSE@ ICSE, 2013
4*2013
2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)| 978-1-6654-3869-8/20/$31.00© 2021 IEEE| DOI: 10.1109/ICSE …
N Abburu, J Ahlgren, H Ahn, Y Ahn, D Åkerman, A Akimov, EA AlOmar, ...
2022 IEEE Conference on Software Testing, Verification and Validation (ICST)| 978-1-6654-6679-0/22/$31.00© 2022 IEEE| DOI: 10.1109/ICST53961. 2022.00064
A Abu Nassar, AS Alotaibi, I Althomali, P Arcaini, A Arcuri, I Ariq, ...
2023 IEEE Conference on Software Testing, Verification and Validation (ICST)| 978-1-6654-5666-1/23/$31.00© 2023 IEEE| DOI: 10.1109/ICST57152. 2023.00062
E Alégroth, N Alshawan, G Antoniol, P Arcaini, A Arcuri, M Auer, ...
2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)| 979-8-3503-0037-6/23/$31.00© 2023 IEEE| DOI: 10.1109/ICSE …
YG Achamyeleh, A Agrawal, F Ahmad, MA Al Faruque, B Arai, A Arno, ...
21210-2699, USA binkley@ cs. loyola. edu
D Binkley, M Harman
Proceedings, 44, 2003
2003
A comprehensive empirical study of bias mitigation methods for machine learning classifiers
Z Chen, JM Zhang, F Sarro, M Harman
ACM Transactions on Software Engineering and Methodology 32 (4), 1-30, 2023
432023
A comprehensive empirical study of bias mitigation methods for software fairness
Z Chen, JM Zhang, F Sarro, M Harman
arXiv preprint arXiv:2207.03277, 2022
102022
A comprehensive survey of trends in oracles for software testing
M Harman, P McMinn, M Shahbaz, S Yoo
University of Sheffield, Department of Computer Science, Tech. Rep. CS-13-01, 2013
882013
A denotational interprocedural program slicer
L Ouarbya, S Danicic, M Daoudi, M Harman, C Fox
Ninth Working Conference on Reverse Engineering, 2002. Proceedings., 181-189, 2002
242002
A formal relationship between program slicing and partial evaluation
DW Binkley, S Danicic, M Harman, J Howroyd, L Ouarbya
Formal Aspects of Computing 18, 103-119, 2006
132006
A formalisation of the relationship between forms of program slicing
D Binkley, S Danicic, T Gyimóthy, M Harman, A Kiss, B Korel
Science of Computer Programming 62 (3), 228-252, 2006
622006
A large-scale empirical study of forward and backward static slice size and context sensitivity
D Binkley, M Harman
International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003
912003
A lazy semantics for program slicing
S Danicic, M Harman, J Howroyd, L Ouarbya
142004
A Learning Classi er Systems Bibliography
UM O'Reilly, HG Beyer, R Standish, G Kendall, S Wilson, M Harman, ...
A manifesto for higher order mutation testing
M Harman, Y Jia, WB Langdon
2010 Third International Conference on Software Testing, Verification, and …, 2010
1092010
系统目前无法执行此操作,请稍后再试。
文章 1–20