Area of research
Software · Information Systems
Research interest
Research focused on Shield and Correctness, with related work in Software bug, Field (mathematics), Forensic engineering. Notable publications include 'Guided, stochastic model-based GUI testing of Android apps', 'Exploring and exploiting the correlations between bug-inducing and bug-fixing commits', and 'Field-monitoring and numerical investigation of a super-large-diameter shield tunnel undercrossing existing metro tunnels'.
Field-monitoring and numerical investigation of a super-large-diameter shield tunnel undercrossing existing metro tunnels
Large-diameter shield tunnel crossing closely to existing metro tunnels and a residential building: A case study
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits
Guided, stochastic model-based GUI testing of Android apps