Department of Computer Science,
211 Portobello Street
Sheffield, S1 4DP
My research and teaching focus on software quality assurance. My research has a particular emphasis on “black-box” components - software units that lack documentation and cannot be scrutinised internally. I specialise in applying Machine Learning and other data analysis algorithms to the specific activities of testing, reverse-engineering, and safety-case assessment.
I studied my Ph.D. (2002-2005) at the University of Strathclyde on the use of static analysis to support software inspections. I subsequently spent five years (2005-2010) as a postdoc at the University of Sheffield, working on state machine inference and software testing (an area in which I am still active). This was followed by 8 years as a Lecturer then Senior Lecturer / Associate Professor at the Department of Informatics at the University of Leicester. I took up my current position as a Senior Lecturer at the University of Sheffield in 2018.
- The 12th International Conference on Software Testing, 2019 (ICST’19)
- The 34th ACM/SIGAPP Symposium on Applied Computing (SAC’19)
- The 18th International Conference on Runtime Verification (RV’18)
- The 10th International Conference on Advances in System Testing and Validation Lifecycle (VALID’18)
- The 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE’18)
- The 14th International Conference on Grammar Inference (ICGI’18)
- The 1st International Workshop on Verification and Validation of Internet of Things (VVIoT’18)
|Jul 6, 2018||Our paper (together with Leandro Minku) “Are 20% of Files Responsible for 80% of Defects?” has been accepted to ESEM’18|
|Jul 5, 2018||I have a new webpage!|