:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Balestra, Agustín, Nolasco, Agustín, Molina, Facundo, Garbervetsky, Diego, Degiovanni, Renzo, Aguirre, Nazareno
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Software Engineering
Accesso online:	https://arxiv.org/abs/2604.10761
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
di: Castro, Pablo F., et al.
Pubblicazione: (2025)

State Field Coverage: A Metric for Oracle Quality
di: Molina, Facundo, et al.
Pubblicazione: (2025)

How well LLM-based test generation techniques perform with newer LLM versions?
di: Konstantinou, Michael, et al.
Pubblicazione: (2026)

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
di: Konstantinou, Michael, et al.
Pubblicazione: (2025)

Do LLMs generate test oracles that capture the actual or the expected program behaviour?
di: Konstantinou, Michael, et al.
Pubblicazione: (2024)

Counterexample Classification against Signal Temporal Logic Specifications
di: Zhang, Zhenya, et al.
Pubblicazione: (2026)

Evaluating LLMs for One-Shot Patching of Real and Artificial Vulnerabilities
di: Garg, Aayush, et al.
Pubblicazione: (2025)

Test Oracle Automation in the era of LLMs
di: Molina, Facundo, et al.
Pubblicazione: (2024)

Improving Deep Learning Library Testing with Machine Learning
di: Molina, Facundo, et al.
Pubblicazione: (2026)

LRASGen: LLM-based RESTful API Specification Generation
di: Deng, Sida, et al.
Pubblicazione: (2025)

Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
di: Chen, Zehan, et al.
Pubblicazione: (2026)

When Prompt Under-Specification Improves Code Correctness: An Exploratory Study of Prompt Wording and Structure Effects on LLM-Based Code Generation
di: AKLI, Amal, et al.
Pubblicazione: (2026)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
di: Li, Jingyang, et al.
Pubblicazione: (2026)

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing
di: Xiong, Yiheng, et al.
Pubblicazione: (2026)

Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion
di: Chen, Zehan, et al.
Pubblicazione: (2025)

Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming
di: Helmuth, Thomas, et al.
Pubblicazione: (2024)

Development of a Real-Time Simulator Using EMTP-ATP Foreign models for Testing Relays
di: Fabian, Renzo, et al.
Pubblicazione: (2024)

Can Language Models Falsify? Evaluating Algorithmic Reasoning with Counterexample Creation
di: Sinha, Shiven, et al.
Pubblicazione: (2025)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
di: Ayoughi, Negin, et al.
Pubblicazione: (2026)

LLM Assisted Coding with Metamorphic Specification Mutation Agent
di: Akhond, Mostafijur Rahman, et al.
Pubblicazione: (2025)

Improving LLM-Driven Test Generation by Learning from Mocking Information
di: Lee, Jamie, et al.
Pubblicazione: (2026)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
di: Patil, Minal Suresh, et al.
Pubblicazione: (2024)

CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
di: Zhang, Yuwei, et al.
Pubblicazione: (2025)

Using Ensemble Inference to Improve Recall of Clone Detection
di: Ahmed, Gul Aftab, et al.
Pubblicazione: (2024)

SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
di: Wang, Kai, et al.
Pubblicazione: (2025)

A First Look at Bugs in LLM Inference Engines
di: Liu, Mugeng, et al.
Pubblicazione: (2025)

Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
di: Yoon, Juyeon, et al.
Pubblicazione: (2025)

Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning
di: Jain, Kush, et al.
Pubblicazione: (2025)

IDE-Bench: Evaluating Large Language Models as IDE Agents on Real-World Software Engineering Tasks
di: Mateega, Spencer, et al.
Pubblicazione: (2026)

Improving LLM-Based Go Code Review through Issue-List Generation and Context Augmentation
di: Sun, Kexin, et al.
Pubblicazione: (2026)

Specification and Detection of LLM Code Smells
di: Mahmoudi, Brahim, et al.
Pubblicazione: (2025)

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

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
di: Hassani, Shabnam, et al.
Pubblicazione: (2025)

FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
di: Shih, Yu-An, et al.
Pubblicazione: (2025)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

TestART: Improving LLM-based Unit Testing via Co-evolution of Automated Generation and Repair Iteration
di: Gu, Siqi, et al.
Pubblicazione: (2024)

A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages
di: Joel, Sathvik, et al.
Pubblicazione: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
di: Ma, Lezhi, et al.
Pubblicazione: (2026)

Automated LTL Specification Generation from Industrial Aerospace Requirements
di: Ma, Zhi, et al.
Pubblicazione: (2026)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
di: Yang, Fanpeng, et al.
Pubblicazione: (2025)