| CAT-LM training language models on aligned code and tests N Rao*, K Jain*, U Alon, C Le Goues, VJ Hellendoorn 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 41 | 2023 |
| Testgeneval: A real world unit test generation and test completion benchmark K Jain, G Synnaeve, B Rozičre arXiv preprint arXiv:2410.00752, 2024 | 10 | 2024 |
| Looking for lacunae in bitcoin core's fuzzing efforts A Groce, K Jain, R van Tonder, GT Kalburgi, C Le Goues Proceedings of the 44th International Conference on Software Engineering …, 2022 | 9 | 2022 |
| Registered report: First, fuzz the mutants A Groce, G Kalburgi, C Le Goues, K Jain, R Gopinath First International Fuzzing Workshop, 2022 | 7 | 2022 |
| mCoq: mutation analysis for Coq verification projects K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 7 | 2020 |
| Contextual predictive mutation testing K Jain, U Alon, A Groce, C Le Goues Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 6 | 2023 |
| Programming and execution models for parallel bounded exhaustive testing NA Awar, K Jain, CJ Rossbach, M Gligoric Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 4 | 2021 |
| Mind the gap: The difference between coverage and mutation score can guide testing efforts K Jain, GT Kalburgi, C Le Goues, A Groce 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | 3 | 2023 |
| Syntax Is All You Need: A Universal-Language Approach to Mutant Generation S Deb, K Jain, R Van Tonder, C Le Goues, A Groce Proceedings of the ACM on Software Engineering 1 (FSE), 654-674, 2024 | 2 | 2024 |
| Are Large Language Models Memorizing Bug Benchmarks? D Ramos, C Mamede, K Jain, P Canelas, C Gamboa, CL Goues arXiv preprint arXiv:2411.13323, 2024 | 1 | 2024 |
Claire Le GouesCarnegie Mellon UniversityVerified email at cs.cmu.edu
