most citedSystem Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2025

Loop Invariant Generation: A Hybrid Framework of Reasoning optimised LLMs and SMT Solvers

Varun Bharti, Shashwat Jha, Dhruv Kumar +1

Loop invariants are essential for proving the correctness of programs with loops. Developing loop invariants is challenging, and fully automatic synthesis cannot be guaranteed for…