" Ignorance and Prejudice" in Software Fairness JM Zhang, M Harman 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 61 | 2021 |
“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 | 82 | 2008 |
< 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 | 25 | 2005 |
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 | 2 | 2010 |
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 | 43 | 2023 |
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 | 10 | 2022 |
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 | 88 | 2013 |
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 | 24 | 2002 |
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 | 13 | 2006 |
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 | 62 | 2006 |
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 | 91 | 2003 |
A lazy semantics for program slicing S Danicic, M Harman, J Howroyd, L Ouarbya | 14 | 2004 |
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 | 109 | 2010 |