mCoq: mutation analysis for Coq verification projects. - Kush Jain; Karl Palmskog; Ahmet Çelik; Emilio Jesús Gallego Arias; Milos Gligoric 001 (ICSE (Companion Volume), 2020)

Programming and execution models for parallel bounded exhaustive testing. - Nader Al Awar; Kush Jain; Christopher J. Rossbach; Milos Gligoric 001 (Proc. ACM Program. Lang., 2021)

Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. - Alex Groce; Kush Jain; Rijnard van Tonder; Goutamkumar Tulajappa Kalburgi; Claire Le Goues (ICSE (SEIP), 2022)

Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. - Kush Jain; Goutamkumar Tulajappa Kalburgi; Claire Le Goues; Alex Groce (ISSRE, 2023)

CAT-LM Training Language Models on Aligned Code And Tests. - Nikitha Rao; Kush Jain; Uri Alon 002; Claire Le Goues; Vincent J. Hellendoorn (ASE, 2023)

Contextual Predictive Mutation Testing. - Kush Jain; Uri Alon 002; Alex Groce; Claire Le Goues (ESEC/SIGSOFT FSE, 2023)

Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. - Sourav Deb; Kush Jain; Rijnard van Tonder; Claire Le Goues; Alex Groce (Proc. ACM Softw. Eng., 2024)

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning. - Kush Jain; Kiran Kate; Jason Tsay; Claire Le Goues; Martin Hirzel (AST@ICSE, 2025)

TestGenEval: A Real World Unit Test Generation and Test Completion Benchmark. - Kush Jain; Gabriel Synnaeve; Baptiste Rozière (ICLR, 2025)

Are Large Language Models Memorizing Bug Benchmarks? - Daniel Ramos; Cláudia Mamede; Kush Jain; Paulo Canelas; Catarina Gamboa; Claire Le Goues (LLM4Code@ICSE, 2025)

TestForge: Feedback-Driven, Agentic Test Suite Generation. - Kush Jain; Claire Le Goues (CoRR, 2025)

Magistral. - Abhinav Rastogi; Albert Q. Jiang; Andy Lo; Gabrielle Berrada; Guillaume Lample; Jason Rute; Joep Barmentlo; Karmesh Yadav; Kartik Khandelwal; Khyathi Raghavi Chandu; Léonard Blier; Lucile Saulnier; et al. (CoRR, 2025)

Voxtral. - Alexander H. Liu; Andy Ehrenberg; Andy Lo; Clément Denoix; Corentin Barreau; Guillaume Lample; Jean-Malo Delignon; Khyathi Raghavi Chandu; Patrick von Platen; Pavankumar Reddy Muddireddy; Sanchit Gandhi; Soham Ghosh; et al. (CoRR, 2025)