Author’s Latest Publications
- research-article
Detecting data manipulation errors in android applications using scene-guided exploration
July 2025Empirical Software Engineering, Volume 30, Issue 4https://doi.org/10.1007/s10664-025-10662-w - research-article
Trustworthy Distributed Certification of Program Execution
April 2025IEEE Transactions on Software Engineering, Volume 51, Issue 4https://doi.org/10.1109/TSE.2025.3541810 - research-article
A Retrospective of ChangeDistiller: Tree Differencing for Fine-Grained Source Code Change Extraction
March 2025IEEE Transactions on Software Engineering, Volume 51, Issue 3https://doi.org/10.1109/TSE.2025.3538326 - research-article
On-the-Fly Syntax Highlighting: Generalisation and Speed-Ups
February 2025IEEE Transactions on Software Engineering, Volume 51, Issue 2https://doi.org/10.1109/TSE.2024.3506040 - research-article
Toward granular search-based automatic unit test case generation
July 2024Empirical Software Engineering, Volume 29, Issue 4https://doi.org/10.1007/s10664-024-10451-x - research-article
DRIVE: Dockerfile Rule Mining and Violation Detection
December 2023ACM Transactions on Software Engineering and Methodology, Volume 33, Issue 2https://doi.org/10.1145/3617173
