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 |
Looking for lacunae in bitcoin core's fuzzing efforts A Groce, K Jain, R van Tonder, GT Kalburgi, CL Goues Proceedings of the 44th International Conference on Software Engineering …, 2022 | 5 | 2022 |
Registered report: First, fuzz the mutants A Groce, GT Kalburgi, C Le Goues, K Jain, R Gopinath International Fuzzing Workshop, ser. FUZZING 22, 2022 | 5 | 2022 |
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 | 3 | 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 | 3 | 2021 |
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation S DEB, K JAIN, R VAN TONDER, C LE GOUES, A GROCE | | 2024 |
Contextual Predictive Mutation Testing K Jain, U Alon, A Groce, C Le Goues Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | | 2023 |
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 | | 2023 |