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
-
2026
-
Key-Augmented Neural Triggers for Knowledge Sharing Journal of Systems and Software, 237, 112850. https://doi.org/10.1016/j.jss.2026.112850
-
-
2025
-
Trustworthy Distributed Certification of Program Execution IEEE Transactions on Software Engineering, 51, 1134–1152. https://doi.org/10.1109/TSE.2025.3541810
-
On-the-Fly Syntax Highlighting: Generalisation and Speed-ups IEEE Transactions on Software Engineering, 51, 355–370. https://doi.org/10.1109/TSE.2024.3506040
-
-
2024
-
Toward granular search-based automatic unit test case generation Empirical Software Engineering, 29, 71–91. https://doi.org/10.1007/s10664-024-10451-x
-
-
2023
-
DRIVE: Dockerfile Rule Mining and Violation Detection ACM Transactions on Software Engineering and Methodology, 33, 1–23. https://doi.org/10.1145/3617173
-
Completing Function Documentation Comments Using Structural Information Empirical Software Engineering, 28, 86. https://doi.org/10.1007/s10664-022-10284-6
-
Generating completion suggestions for source code comments using neural language models (Dissertation, University of Zurich) https://doi.org/10.5167/uzh-238316
-
-
2022
-
On-the-Fly Syntax Highlighting using Neural Networks Proceedings of the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 269–280. https://doi.org/10.1145/3540250.3549109
-
Synthetic End-User Testing: Modeling Realistic Agents Based on Behavioral Examples (2208.12261; ArXiv.Org). arxiv. https://doi.org/10.48550/arXiv.2208.12261
-
-
2021
-
Applying test case prioritization to software microbenchmarks Empirical Software Engineering, 26, 133. https://doi.org/10.1007/s10664-021-10037-x
-
Lightweight Assessment of Test-Case Effectiveness using Source-Code-Quality Indicators IEEE Transactions on Pattern Analysis and Machine Intelligence, 47, 758–774. https://doi.org/10.1109/TSE.2019.2903057
-
-
2020
-
Suggesting Comment Completions for Python using Neural Language Models 456–467. https://doi.org/10.1109/SANER48275.2020.9054866
-
How Developers Engage with Static Analysis Tools in Different Contexts Empirical Software Engineering, 25, 1419–1457. https://doi.org/10.1007/s10664-019-09750-5
-
Every Build You Break: Developer-Oriented Assistance for Build Failure Resolution Empirical Software Engineering, 25, 2218–2257. https://doi.org/10.1007/s10664-019-09765-y
-
An Empirical Characterization of Bad Practices in Continuous Integration Empirical Software Engineering, 25, 1095–1135. https://doi.org/10.1007/s10664-019-09785-8
-
-
2019
-
Evo-Clocks: Software Evolution at a Glance 7th IEEE Working Conference on Software Visualization, Cleveland. https://doi.org/10.1109/VISSOFT.2019.00010
-
Branch Coverage Prediction in Automated Testing Journal of Software: Evolution and Process, 31, 1–22. https://doi.org/10.1002/smr.2158
-
A large-scale empirical exploration on refactoring activities in open source software projects Science of Computer Programming, 180, 1–15. https://doi.org/10.1016/j.scico.2019.05.002
-
Automated Reporting of Anti-Patterns and Decay in Continuous Integration 105–115. https://doi.org/10.1109/ICSE.2019.00028
-
Redundancy-free analysis of multi-revision software artifacts Empirical Software Engineering, 24, 332–380. https://doi.org/10.1007/s10664-018-9630-9
-