3 papers
cs.PL2025
Automated Type Annotation in Python Using Large Language Models
Varun Bharti, Shashwat Jha, Dhruv Kumar +1
Type annotations in Python enhance maintainability and error detection. However, generating these annotations manually is error prone and requires extra effort. Traditional automat…
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…
cs.SE2024
System Test Case Design from Requirements Specifications: Insights and Challenges of Using ChatGPT
Shreya Bhatia, Tarushi Gandhi, Dhruv Kumar +1
System testing is essential in any software development project to ensure that the final products meet the requirements. Creating comprehensive test cases for system testing from r…