Student or educator? Sign up with your school email and get 6 months of Pro free.

Jha, Chandan Kumar

University of Bremen

1 paper on CoChatORCID 0000-0002-7237-5878

Most cited papers

Verified
LLM-Guided Formal Verification Coupled with Mutation Testing
Hassan, M., Ahmadi-Pour, S., Qayyum, K., Jha, C. K., & Drechsler, R. (2024) · 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE)
Formal Methods in VerificationSoftware Testing and Debugging Techniques
Cited by 43

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free