Kush Jain

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Mutation Testing

Precisely Defined

Test Generation

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. ISSRE (2023)
Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn
CAT-LM Training Language Models on Aligned Code And Tests. ASE (2023)
Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn
CAT-LM: Training Language Models on Aligned Code And Tests. CoRR (2023)
Kush Jain, Goutamkumar Tulajappa Kalburgi, Claire Le Goues, Alex Groce
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts. CoRR (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. ESEC/SIGSOFT FSE (2023)
Kush Jain, Uri Alon, Alex Groce, Claire Le Goues
Contextual Predictive Mutation Testing. CoRR (2023)
Alex Groce, Kush Jain, Rijnard van Tonder, Goutamkumar Tulajappa Kalburgi, Claire Le Goues
Looking for Lacunae in Bitcoin Core's Fuzzing Efforts. ICSE (SEIP) (2022)
Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric
Programming and execution models for parallel bounded exhaustive testing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) (2020)