Cover Image

ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mali, Bhabesh, Maddala, Karthik, Gupta, Vatsal, Reddy, Sweeya, Karfa, Chandan, Karri, Ramesh
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification
by: Maddala, Karthik, et al.
Published: (2024)

SANGAM: SystemVerilog Assertion Generation via Monte Carlo Tree Self-Refine
by: Gupta, Adarsh, et al.
Published: (2025)

David vs. Goliath: Can Small Models Win Big with Agentic AI in Hardware Design?
by: Shankar, Shashwat, et al.
Published: (2025)

Why Do Developers Engage with ChatGPT in Issue-Tracker? Investigating Usage and Reliance on ChatGPT-Generated Code
by: Das, Joy Krishan, et al.
Published: (2024)

Self-collaboration Code Generation via ChatGPT
by: Dong, Yihong, et al.
Published: (2023)

Is ChatGPT 3 safe for students?
by: Kotovich, Julia, et al.
Published: (2024)

DevGPT: Studying Developer-ChatGPT Conversations
by: Xiao, Tao, et al.
Published: (2023)

Unveiling the Role of ChatGPT in Software Development: Insights from Developer-ChatGPT Interactions on GitHub
by: Li, Ruiyin, et al.
Published: (2025)

SOGPTSpotter: Detecting ChatGPT-Generated Answers on Stack Overflow
by: Ma, Suyu, et al.
Published: (2026)

An Empirical Study of the Non-determinism of ChatGPT in Code Generation
by: Ouyang, Shuyin, et al.
Published: (2023)

An Analysis of Automated Use Case Component Extraction from Scenarios using ChatGPT
by: KC, Pragyan, et al.
Published: (2024)

Pros and Cons! Evaluating ChatGPT on Software Vulnerability
by: Yin, Xin
Published: (2024)

The role of library versions in Developer-ChatGPT conversations
by: Raj, Rachna, et al.
Published: (2024)

Evaluating and Improving ChatGPT-Based Expansion of Abbreviations
by: Jiang, Yanjie, et al.
Published: (2024)

No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generation
by: Yuan, Zhiqiang, et al.
Published: (2023)

On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT
by: Colombo, Gaia, et al.
Published: (2025)

Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT
by: Donato, Benedetta, et al.
Published: (2025)

Prompt-Enhanced Software Vulnerability Detection Using ChatGPT
by: Zhang, Chenyuan, et al.
Published: (2023)

How I Learned to Stop Worrying and Love ChatGPT
by: Przymus, Piotr, et al.
Published: (2025)

Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
by: Yan, Chuan, et al.
Published: (2024)

WildCode: An Empirical Analysis of Code Generated by ChatGPT
by: Khanmohammadi, Kobra, et al.
Published: (2025)

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
by: Liu, Zhijie, et al.
Published: (2023)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

ChatGPT for Code Refactoring: Analyzing Topics, Interaction, and Effective Prompts
by: AlOmar, Eman Abdullah, et al.
Published: (2025)

Development of an automatic modification system for generated programs using ChatGPT
by: Yoshida, Jun, et al.
Published: (2024)

Porting an LLM based Application from ChatGPT to an On-Premise Environment
by: Paloniemi, Teemu, et al.
Published: (2025)

An Empirical Study of ChatGPT-Related Projects and Their Issues on GitHub
by: Lin, Zheng, et al.
Published: (2024)

Investigating the Utility of ChatGPT in the Issue Tracking System: An Exploratory Study
by: Das, Joy Krishan, et al.
Published: (2024)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
by: Zhang, Quanjun, et al.
Published: (2023)

Can ChatGPT Generate Realistic Synthetic System Requirement Specifications? Results of a Case Study
by: Mattukat, Alex R., et al.
Published: (2026)

ChatGPT Inaccuracy Mitigation during Technical Report Understanding: Are We There Yet?
by: Tamanna, Salma Begum, et al.
Published: (2024)

ChatGPT and Human Synergy in Black-Box Testing: A Comparative Analysis
by: Kirinuki, Hiroyuki, et al.
Published: (2024)

ChatGPT as a Software Development Bot: A Project-based Study
by: Waseem, Muhammad, et al.
Published: (2023)

Investigating Developers' Preferences for Learning and Issue Resolution Resources in the ChatGPT Era
by: Tayeb, Ahmad, et al.
Published: (2024)

Enhancing Class Diagram Dynamics: A Natural Language Approach with ChatGPT
by: Rouabhia, Djaber, et al.
Published: (2024)

How to Refactor this Code? An Exploratory Study on Developer-ChatGPT Refactoring Conversations
by: AlOmar, Eman Abdullah, et al.
Published: (2024)

CUPID: Leveraging ChatGPT for More Accurate Duplicate Bug Report Detection
by: Zhang, Ting, et al.
Published: (2023)

Is ChatGPT a Good Software Librarian? An Exploratory Study on the Use of ChatGPT for Software Library Recommendations
by: Latendresse, Jasmine, et al.
Published: (2024)

Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study
by: Tufano, Rosalia, et al.
Published: (2024)

Guiding ChatGPT to Fix Web UI Tests via Explanation-Consistency Checking
by: Xu, Zhuolin, et al.
Published: (2023)