Publications

Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, and Lu Zhang. A Survey of Compiler Testing. ACM computing surveys, (53)1:1-36, ACM, 2020. [PUMA: unibibliografie ubs_10005 ubs_20008 ubs_40344 wos ubs_30084]

Jonas Fritzsch, Justus Bogner, Markus Haug, Ana Cristina Franco da Silva, Carolin Rubner, Matthias Saft, Horst Sauer, and Stefan Wagner. Adopting microservices and DevOps in the cyber-physical systems domain : A rapid review and case study. Software - practice & experience, (53)3:790-810, Wiley, 2022. [PUMA: unibibliografie oa ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos mult ubs_40122]

Aaron Hilbig, Daniel Lehmann, and Michael Pradel. An Empirical Study of Real-World WebAssembly Binaries: Security, Languages, Use Cases. In Jure Leskovec, Marko Grobelnik, Marc Najork, Jie Tang, and Leila Zia (Eds.), WWW '21 : Proceedings of the Web Conference 2021, 2696-2708, Association for Computing Machinery, New York, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. Automated Program Repair. Communications of the ACM, (62)12:56-65, ACM, 2019. [PUMA: unibibliografie ubs_10005 ubs_20008 ubs_40344 wos ubs_30084]

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, and Satish Chandra. Automatic Program Repair. IEEE software, (38)4:22-27, IEEE Computer Society, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Matteo Paltenghi, and Michael Pradel. Bugs in Quantum computing platforms : an empirical study. Proceedings of the ACM on programming languages, (6)OOPSLA1:86, Association for Computing Machinery, 2022. [PUMA: unibibliografie oa ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Justus Bogner, Roberto Verdecchia, and Ilias Gerostathopoulos. Characterizing Technical Debt and Antipatterns in AI-Based Systems : A Systematic Mapping Study. In Apostolos Ampatzoglou (Eds.), 2021 IEEE/ACM International Conference on Technical Debt (TechDebt), 64-73, IEEE, Piscataway, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Xue Han, Tingting Yu, and Michael Pradel. ConfProf : White-Box Performance Profiling of Configuration Options. In Johann Bourcier, and Zhen Ming Jiang (Eds.), ICPE '21 : ACM/SPEC International Conference on Performance Engineering, 1-8, Association for Computing Machinery, New York, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Cong Pan, and Michael Pradel. Continuous test suite failure prediction. In Cristian Cadar, and Xiangyu Zhang (Eds.), ISSTA 2021 : Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 553-565, Association for Computing Machinery, New York, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Matteo Paltenghi. Cross-Platform Testing of Quantum Computing Platforms. In Matthew Dwyer (Eds.), ICSE '22 : Proceedings of the ACM/IEEE 44th International Conference on Software Engineering : Companion Proceedings, 269-271, Association for Computing Machinery, New York, 2022. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Aryaz Eghbali, and Michael Pradel. CrystalBLEU : precisely and efficiently measuring the similarity of code. In Matthew Dwyer (Eds.), ICSE '22 : Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 341-342, Association for Computing Machinery, New York, 2022. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Guilherme Vale, Filipe Figueiredo Correia, Eduardo Martins Guerra, Thatiane De Oliveira Rosa, Jonas Fritzsch, and Justus Bogner. Designing Microservice Systems Using Patterns : An Empirical Study on Quality Trade-Offs. 2022 IEEE 19th International Conference on Software Architecture (ICSA), 69-79, IEEE, Piscataway, 2022. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos mult ubs_40122]

Tiago Matias, Filipe F. Correia, Jonas Fritzsch, Justus Bogner, Hugo S. Ferreira, and André Restivo. Determining Microservice Boundaries : A Case Study Using Static and Dynamic Software Analysis. In Anton Jansen, Ivano Malavolta, Henry Muccini, Ipek Ozkaya, and Olaf Zimmermann (Eds.), Software Architecture : 14th European Conference, ECSA 2020 L’Aquila, Italy, September 14-18, 2020 Proceedings, 12292:315-332, Springer, Cham, 2020. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos mult ubs_40122]

Luca Di Grazia. Efficiently and precisely searching for code changes with diffsearch. In Matthew Dwyer (Eds.), ICSE '22 : Proceedings of the ACM/IEEE 44th International Conference on Software Engineering : Companion Proceedings, 313-315, Association for Computing Machinery, New York, 2022. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Daniel Lehmann, Johannes Kinder, and Michael Pradel. Everything Old is New Again : Binary Security of WebAssembly. Proceedings of the 29th USENIX Security Symposium, 217-234, USENIX Association, Berkeley, 2020. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos] URL

Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schafer, Anders Møller, and Michael Pradel. Extracting taint specifications for JavaScript libraries. In Gregg Rothermel, and Doo-Hwan Bae (Eds.), ICSE '20 : Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, 198-209, Association for Computing Machinery, New York, 2020. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Andrew Habib, Avraham Shinnar, Martin Hirzel, and Michael Pradel. Finding data compatibility bugs with JSON subschema checking. In Cristian Cadar, and Xiangyu Zhang (Eds.), ISSTA 2021 : Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 620-632, Association for Computing Machinery, New York, 2021. [PUMA: unibibliografie oa ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Daniel Lehmann, and Michael Pradel. Finding the Dwarf : Recovering Precise Types from WebAssembly Binaries. In Ranjit Jhala, and Işil Dillig (Eds.), PLDI 2022 : Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 410-425, Association for Computing Machinery, New York, 2022. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Yaza Wainakh, Moiz Rauf, and Michael Pradel. IdBench : Evaluating Semantic Representations of Identifier Names in Source Code. 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 562-573, IEEE, Piscataway, 2021. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos]

Justus Bogner, Jonas Fritzsch, Stefan Wagner, and Alfred Zimmermann. Microservices in Industry : Insights into Technologies, Characteristics, and Software Quality. 2019 IEEE International Conference on Software Architecture Companion (ICSA-C 2019), 187-195, IEEE, 2019. [PUMA: unibibliografie ubs_10005 ubs_30204 ubs_20008 ubs_40344 wos mult ubs_40122]