| A survey of compiler testing J Chen, J Patra, M Pradel, Y Xiong, H Zhang, D Hao, L Zhang ACM Computing Surveys (CSUR) 53 (1), 1-36, 2020 | 197 | 2020 |
| Nl2type: inferring javascript function types from natural language information RS Malik, J Patra, M Pradel 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 156 | 2019 |
| Semantic bug seeding: a learning-based approach for creating realistic bugs J Patra, M Pradel Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 62 | 2021 |
| Learning to fuzz: Application-independent fuzz testing with probabilistic, generative models of input data J Patra, M Pradel TU Darmstadt, Department of Computer Science, Tech. Rep. TUD-CS-2016-14664, 2016 | 55 | 2016 |
| Conflictjs: finding and understanding conflicts between javascript libraries J Patra, PN Dixit, M Pradel Proceedings of the 40th International Conference on Software Engineering …, 2018 | 51 | 2018 |
| Automatically reducing tree-structured test inputs S Herfert, J Patra, M Pradel 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 50 | 2017 |
| Nalin: Learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter Notebooks J Patra, M Pradel 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022 | 19 | 2022 |
| Analysis of ChatGPT on source code AR Sadik, A Ceravola, F Joublin, J Patra arXiv preprint arXiv:2306.00597, 2023 | 12 | 2023 |
| Analyzing code corpora to improve the correctness and reliability of programs J Patra | | 2021 |
| Poster: Language-Independent Fuzz Testing with Probabilistic, Generative Models P Jibesh, M Pradel The European Conference on Object-Oriented Programming (ECOOP), 2016 | | 2016 |
| Congestion Balancing Global Router S Mukherjee, J Patra, S Roy VLSI Design and Test: 17th International Symposium, VDAT 2013, Jaipur, India …, 2013 | | 2013 |
Michael PradelProfessor of Computer Science, Head of Software Lab, University of Stuttgart在 iste.uni-stuttgart.de 的电子邮件经过验证
