Kush Jain

According to our database, Kush Jain authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, 2023

CAT-LM Training Language Models on Aligned Code And Tests.

Nikitha Rao, Kush Jain, Uri Alon, Claire Le Goues, Vincent J. Hellendoorn

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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, 2023

2022

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 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Programming and execution models for parallel bounded exhaustive testing.

Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric

Proc. ACM Program. Lang., 2021

2020

mCoq: mutation analysis for Coq verification projects.

Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020