4 papers
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…
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…
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…
Using LLMs in Software Requirements Specifications: An Empirical Evaluation
Madhava Krishna, Bhagesh Gaur, Arsh Verma +1
The creation of a Software Requirements Specification (SRS) document is important for any software development project. Given the recent prowess of Large Language Models (LLMs) in…