Cover Image

Generative transformations and patterns in LLM-native approaches for software verification and falsification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Braberman, Víctor A., Bonomo-Braberman, Flavia, Charalambous, Yiannis, Colonna, Juan G., Cordeiro, Lucas C., de Freitas, Rosiane
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Computation and Language Machine Learning F.3.1; D.2.4; D.2.5; I.2.7
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)

A History Equivalence Algorithm for Dynamic Process Migration
by: Bakshi, Gargi, et al.
Published: (2024)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
by: Paiva, Camila A., et al.
Published: (2026)

Site Reliability Engineering (SRE) and Observations on SRE Process to Make Tasks Easier
by: Puli, Balaram
Published: (2025)

TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback
by: Jana, Prithwish, et al.
Published: (2026)

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

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
by: Helbling, Caleb, et al.
Published: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
by: Kessel, Marcus
Published: (2024)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
by: Salva, Sébastien, et al.
Published: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
by: Ranasinghe, Nishath Rajiv, et al.
Published: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
by: Chen, Jiachi, et al.
Published: (2025)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

Automated structural testing of LLM-based agents: methods, framework, and case studies
by: Kohl, Jens, et al.
Published: (2026)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2025)

QuickCheck for VDM
by: Battle, Nick, et al.
Published: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
by: Amusuo, Paschal C., et al.
Published: (2024)

N-Version Assessment and Enhancement of Generative AI
by: Kessel, Marcus, et al.
Published: (2024)

Morescient GAI for Software Engineering (Extended Version)
by: Kessel, Marcus, et al.
Published: (2024)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
by: Alonso, Pepe, et al.
Published: (2026)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
by: Qin, Xue, et al.
Published: (2026)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
by: Bandyopadhyay, Soumyadip, et al.
Published: (2025)

Validating Formal Specifications with LLM-generated Test Cases
by: Cunha, Alcino, et al.
Published: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
by: Licorish, Sherlock A., et al.
Published: (2025)

Developer-LLM Conversations: An Empirical Study of Interactions and Generated Code Quality
by: Zhong, Suzhen, et al.
Published: (2025)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

From Scientific Texts to Verifiable Code: Automating the Process with Transformers
by: Wang, Changjie, et al.
Published: (2025)

Energy-Aware Decision Making in Software Stack Upgrades
by: Stocker, Mirko, et al.
Published: (2026)

Migrating Esope to Fortran 2008 using model transformations
by: Sow, Younoussa, et al.
Published: (2026)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
by: Lahiri, Shuvendu K.
Published: (2026)

Automatic verification of Finite Variant Property beyond convergent equational theories
by: Cheval, Vincent, et al.
Published: (2024)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
by: McCann, Alan L.
Published: (2026)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
by: Thompson, Kyle, et al.
Published: (2024)

Early-Stage Requirements Transformation Approaches: A Systematic Review
by: Letsholo, Keletso J.
Published: (2024)

Exploring Large Language Models for Access Control Policy Synthesis and Summarization
by: Vatsa, Adarsh, et al.
Published: (2025)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
by: Lu, Minghai, et al.
Published: (2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
by: Amusuo, Paschal C., et al.
Published: (2026)