Imagen de Portada

LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chen, Boqi, Babikian, Aren A., Feng, Shuzhao, Varró, Dániel, Mussbacher, Gunter
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
por: Feng, Shuzhao, et al.
Publicado: (2026)

The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages
por: Chen, Boqi, et al.
Publicado: (2024)

Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
por: Babikian, Aren A., et al.
Publicado: (2023)

Projectional Decoding: Towards Semantic-Aware LLM Generation
por: Chen, Boqi, et al.
Publicado: (2026)

Accurate and Consistent Graph Model Generation from Text with Large Language Models
por: Chen, Boqi, et al.
Publicado: (2025)

SHERPA: A Model-Driven Framework for Large Language Model Execution
por: Chen, Boqi, et al.
Publicado: (2025)

Abductive Vibe Coding (Extended Abstract)
por: Murphy, Logan, et al.
Publicado: (2026)

Structure- and Event-Driven Frameworks for State Machine Modeling with Large Language Models
por: Abdulkarim, Samer, et al.
Publicado: (2026)

Analyzing and Debugging Normative Requirements via Satisfiability Checking
por: Feng, Nick, et al.
Publicado: (2024)

On Inter-dataset Code Duplication and Data Leakage in Large Language Models
por: López, José Antonio Hernández, et al.
Publicado: (2024)

Assurance Case Development for Evolving Software Product Lines: A Formal Approach
por: Murphy, Logan, et al.
Publicado: (2025)

SENAI: Towards Software Engineering Native Generative Artificial Intelligence
por: Saad, Mootez, et al.
Publicado: (2025)

Hierarchical Evaluation of Software Design Capabilities of Large Language Models of Code
por: Saad, Mootez, et al.
Publicado: (2025)

ALPINE: An adaptive language-agnostic pruning method for language models for code
por: Saad, Mootez, et al.
Publicado: (2024)

Requirements Satisfiability with In-Context Learning
por: Santos, Sarah, et al.
Publicado: (2024)

Static Code Analysis with CodeChecker
por: Horvath, Gabor, et al.
Publicado: (2024)

Generative AI in Simulation-Based Test Environments for Large-Scale Cyber-Physical Systems: An Industrial Study
por: Sadrnezhaad, Masoud, et al.
Publicado: (2025)

Write Your Own CodeChecker: An Automated Test-Driven Checker Development Approach with LLMs
por: Liu, Jun, et al.
Publicado: (2024)

Assessing the Impact of Requirement Ambiguity on LLM-based Function-Level Code Generation
por: Yang, Di, et al.
Publicado: (2026)

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
por: Hassani, Shabnam, et al.
Publicado: (2025)

JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks
por: Wang, Yiran, et al.
Publicado: (2025)

Runtime-Augmented LLMs for Crash Detection and Diagnosis in ML Notebooks
por: Wang, Yiran, et al.
Publicado: (2026)

Multi-Modal Requirements Data-based Acceptance Criteria Generation using LLMs
por: Wang, Fanyu, et al.
Publicado: (2025)

Checker Bug Detection and Repair in Deep Learning Libraries
por: Harzevili, Nima Shiri, et al.
Publicado: (2024)

Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
por: Masoudifard, Arsalan, et al.
Publicado: (2024)

Why do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
por: Wang, Yiran, et al.
Publicado: (2024)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
por: Horvath, Gabor, et al.
Publicado: (2024)

FlyCatcher: Neural Inference of Runtime Checkers from Tests
por: Souza, Beatriz, et al.
Publicado: (2026)

ESBMC-Python: A Bounded Model Checker for Python Programs
por: Farias, Bruno, et al.
Publicado: (2024)

Characterizing Datasets for LLM-based Requirements Engineering: A Systematic Mapping Study
por: Motger, Quim, et al.
Publicado: (2025)

Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications
por: Tagliaferro, Alberto, et al.
Publicado: (2026)

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

MCeT: Behavioral Model Correctness Evaluation using Large Language Models
por: Ahmed, Khaled, et al.
Publicado: (2025)

Agentic Model Checking
por: Sun, Youcheng, et al.
Publicado: (2026)

Less is More: DocString Compression in Code Generation
por: Yang, Guang, et al.
Publicado: (2024)

On the Effectiveness of Training Data Optimization for LLM-based Code Generation: An Empirical Study
por: Kuang, Shiqi, et al.
Publicado: (2025)

Certifying Robustness of Graph Convolutional Networks for Node Perturbation with Polyhedra Abstract Interpretation
por: Chen, Boqi, et al.
Publicado: (2024)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
por: Dai, Yuxuan, et al.
Publicado: (2025)

Generating High-Level Test Cases from Requirements using LLM: An Industry Study
por: Masuda, Satoshi, et al.
Publicado: (2025)

REAgent: Requirement-Driven LLM Agents for Software Issue Resolution
por: Kuang, Shiqi, et al.
Publicado: (2026)