Publications

You can also find my articles on my Google Scholar profile.

Conference

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation
Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering (FSE 2024)
Pdf

Contextual Predictive Mutation Testing
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Pdf

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023)
Pdf

CAT-LM: Training Language Models on Aligned Code And Tests
Nikitha Rao+, Kush Jain+, Uri Alon, Claire Le Goues, Vincent Hellendoorn (+ means equal contribution)
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
Pdf

Registered Report: First, Fuzz the Mutants
Alex Groce, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Kush Jain, Rahul Gopinath
Proceedings of the 1st International Fuzzing Workshop (FUZZING 2022)
Pdf

Looking for Lacunae in Bitcoin Core’s Fuzzing Efforts
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Proceedings of the 43rd International Conference on Software Engineering (ICSE 2022)
Pdf

Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric
Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2021)
Pdf Video

mCoq: Mutation Analysis for Coq Verification Projects
Kush Jain, Karl Palmskog, Ahmet Celik, Emilio Jesús Gallego Arias, Milos Gligoric
Proceedings of the 42nd International Conference on Software Engineering (ICSE DEMO 2020)
Pdf Code Video