Papers
We include the papers on this page to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These works may not be reposted without the explicit permission of the copyright holder.
If you can not see the publications, please refresh the page.
ZORA Publication List
Download Options
Publications
-
2025
-
Trustworthy Distributed Certification of Program Execution IEEE Transactions on Software Engineering, 51(4):1134-1152.
-
On-the-Fly Syntax Highlighting: Generalisation and Speed-ups IEEE Transactions on Software Engineering, 51(2):355-370.
-
-
2024
-
Toward granular search-based automatic unit test case generation Empirical Software Engineering, 29(4):71-91.
-
-
2021
-
Applying test case prioritization to software microbenchmarks Empirical Software Engineering, 26(6):133.
-
Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators IEEE Transactions on Pattern Analysis and Machine Intelligence, 47(4):758-774.
-