Follow
Kush Jain
Title
Cited by
Cited by
Year
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
72020
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
52022
Registered report: First, fuzz the mutants
A Groce, GT Kalburgi, C Le Goues, K Jain, R Gopinath
International Fuzzing Workshop, ser. FUZZING 22, 2022
52022
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
32023
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
32021
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
The system can't perform the operation now. Try again later.
Articles 1–8