Cover Image

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Torkamani, Mohammad Jalili, Sharma, Abhinav, Mehrotra, Nikita, Purandare, Rahul
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence D.2.5; D.2.7; K.6.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Streamlining Security Vulnerability Triage with Large Language Models
by: Torkamani, Mohammad Jalili, et al.
Published: (2025)

Empirical Investigation of the Relationship Between Design Smells and Role Stereotypes
by: Ogenrwot, Daniel, et al.
Published: (2024)

Refactoring-Aware Patch Integration Across Structurally Divergent Java Forks
by: Ogenrwot, Daniel, et al.
Published: (2025)

Automated Detection of Algorithm Debt in Deep Learning Frameworks: An Empirical Study
by: Simon, Emmanuel Iko-Ojo, et al.
Published: (2024)

Beyond the Tip of the Iceberg: Understanding SATD in Dockerfiles through the Lens of Co-evolution
by: Minn, Wei, et al.
Published: (2026)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code
by: Chen, Jiachi, et al.
Published: (2024)

Tag that issue: Applying API-domain labels in issue tracking systems
by: Santos, Fabio, et al.
Published: (2023)

A Non-Destructive Methodological Framework for Modernizing Legacy Clinical Reporting Systems for AI-Driven Pharmacoinformatics: A SAS Case Study
by: Yan, Jaime
Published: (2026)

FAIRSECO: An Extensible Framework for Impact Measurement of Research Software
by: Deekshitha, et al.
Published: (2024)

The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
by: Farrag, Sabry E.
Published: (2026)

AI Observability for Developer Productivity Tools: Bridging Cost Awareness and Code Quality
by: Bhati, Happy, et al.
Published: (2026)

Secure and Scalable Blockchain Voting: A Comparative Framework and the Role of Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Kajal: Extracting Grammar of a Source Code Using Large Language Models
by: Torkamani, Mohammad Jalili
Published: (2024)

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation
by: Calboreanu, Elias
Published: (2026)

SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
by: Yang, Zhaorui, et al.
Published: (2026)

Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
by: Cipollone, Daniele, et al.
Published: (2025)

RSMM: A Framework to Assess Maturity of Research Software Project
by: Deekshitha, et al.
Published: (2024)

Skilldex: A Package Manager and Registry for Agent Skill Packages with Hierarchical Scope-Based Distribution
by: Saha, Sampriti, et al.
Published: (2026)

Challenges in Understanding the Relationship between Teamwork Quality and Project Success in Large-Scale Agile Projects
by: Dingsøyr, Torgeir, et al.
Published: (2024)

Coding With AI: From a Reflection on Industrial Practices to Future Computer Science and Software Engineering Education
by: Chang, Hung-Fu, et al.
Published: (2025)

When Retrieval Hurts Code Completion: A Diagnostic Study of Stale Repository Context
by: Weng, Haojun, et al.
Published: (2026)

The Kieker Observability Framework Version 2
by: Yang, Shinhyung, et al.
Published: (2025)

Automated Bug Triaging using Instruction-Tuned Large Language Models
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Extending and Applying Automated HERMES Software Publication Workflows
by: Kernchen, Sophie, et al.
Published: (2024)

Do We Run How We Say We Run? Formalization and Practice of Governance in OSS Communities
by: Chakraborti, Mahasweta, et al.
Published: (2023)

Bug In the Code Stack: Can LLMs Find Bugs in Large Python Code Stacks
by: Lee, Hokyung, et al.
Published: (2024)

FuzzDistill: Intelligent Fuzzing Target Selection using Compile-Time Analysis and Machine Learning
by: Upadhyay, Saket
Published: (2024)

Docker-based CI/CD for Rocq/OCaml projects
by: Martin-Dorel, Érik
Published: (2025)

PatchTrack: A Comprehensive Analysis of ChatGPT's Influence on Pull Request Outcomes
by: Ogenrwot, Daniel, et al.
Published: (2025)

Invisible Labor in Open Source Software Ecosystems
by: Meluso, John, et al.
Published: (2024)

A Systematic Approach for Assessing Large Language Models' Test Case Generation Capability
by: Chang, Hung-Fu, et al.
Published: (2025)

AgentModernize: Preserving Business Logic in Legacy Modernization with Multi-Agent LLMs and Behavioral Specification Graphs
by: Ahmed, Sheikh Nazib, et al.
Published: (2026)

The AI Codebase Maturity Model: From Assisted Coding to Fully Autonomous Systems
by: Anderson, Andy
Published: (2026)

Mining Subscenario Refactoring Opportunities in Behaviour-Driven Software Test Suites: ML Classifiers and LLM-Judge Baselines
by: Mughal, Ali Hassaan, et al.
Published: (2026)

Beyond Greenfield: The D3 Framework for AI-Driven Productivity in Brownfield Engineering
by: Sharma, Krishna Kumaar
Published: (2025)

Reducing Maintenance Burden in Behaviour-Driven Development: A Paraphrase-Robust Duplicate-Step Detector with a 1.1M-Step Open Benchmark
by: Mughal, Ali Hassaan, et al.
Published: (2026)

Technical Debt Management: The Road Ahead for Successful Software Delivery
by: Avgeriou, Paris, et al.
Published: (2024)

EMRGF: A Practitioner Framework for Governance-Driven Enterprise Technology Modernization
by: Punihani, Harveen
Published: (2026)

A Structured Evaluation Framework for Low-Code Platform Selection: A Multi-Criteria Decision Model for Enterprise Digital Transformation
by: Lamanna, Antonio
Published: (2025)