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.
-
-
2023
-
DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Transactions on Software Engineering and Methodology, 33(2):1-23.
-
Completing Function Documentation Comments Using Structural Information. Empirical Software Engineering, 28(4):86.
-
Generating completion suggestions for source code comments using neural language models. 2023, University of Zurich, Faculty of Economics.
-
-
2022
-
Synthetic End-User Testing: Modeling Realistic Agents Based on Behavioral Examples. ArXiv.org 2208.12261, Cornell University.
-
On-the-Fly Syntax Highlighting using Neural Networks. In: ESEC/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Singapore, Singapore, 14 December 2022 - 18 December 2022. ACM Digital library, 269-280.
-
-
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.
-
-
2020
-
Suggesting Comment Completions for Python using Neural Language Models. In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), London, Ontario in Kanada, 18 March 2020 - 21 March 2020. IEEE, 456-467.
-
An Empirical Characterization of Bad Practices in Continuous Integration. Empirical Software Engineering, 25(2):1095-1135.
-
How Developers Engage with Static Analysis Tools in Different Contexts. Empirical Software Engineering, 25(2):1419-1457.
-
Every Build You Break: Developer-Oriented Assistance for Build Failure Resolution. Empirical Software Engineering, 25(3):2218-2257.
-
-
2019
-
Evo-Clocks: Software Evolution at a Glance. In: 7th IEEE Working Conference on Software Visualization, Cleveland, 30 September 2019 - 1 October 2019, IEEE.
-
Branch Coverage Prediction in Automated Testing. Journal of Software: Evolution and Process, 31(9):1-22.
-
A large-scale empirical exploration on refactoring activities in open source software projects. Science of Computer Programming, 180:1-15.
-
Automated Reporting of Anti-Patterns and Decay in Continuous Integration. In: 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, 25 May 2019 - 31 May 2019. IEEE / ACM, 105-115.
-
Redundancy-free analysis of multi-revision software artifacts. Empirical Software Engineering, 24(1):332-380.
-
On the Effectiveness of Manual and Automatic Unit Test Generation: Ten Years Later. In: Proceedings of the 16th International Conference on Mining Software Repositories, Montreal, Quebec, Canada, 1 January 2019. IEEE Press, 121-125.
-
Scented Since the Beginning: On the Diffuseness of Test Smells in Automatically Generated Test Code. Journal of Systems and Software, 156:312-327.
-