Copertina

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Rao, Nikitha, Gilbert, Elizabeth, Green, Harrison, Ramananandro, Tahina, Swamy, Nikhil, Goues, Claire Le, Fakhoury, Sarah
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
di: Fakhoury, Sarah, et al.
Pubblicazione: (2024)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
di: Ramananandro, Tahina, et al.
Pubblicazione: (2025)

Automatic, Expressive, and Scalable Fuzzing with Stitching
di: Green, Harrison, et al.
Pubblicazione: (2026)

FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them
di: Green, Harrison, et al.
Pubblicazione: (2025)

TestForge: Feedback-Driven, Agentic Test Suite Generation
di: Jain, Kush, et al.
Pubblicazione: (2025)

STRIDE: Simple Type Recognition In Decompiled Executables
di: Green, Harrison, et al.
Pubblicazione: (2024)

Idioms: Neural Decompilation With Joint Code and Type Definition Prediction
di: Dramko, Luke, et al.
Pubblicazione: (2025)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
di: Chakraborty, Saikat, et al.
Pubblicazione: (2024)

What is a "bug"? On subjectivity, epistemic power, and implications for software research
di: Widder, David Gray, et al.
Pubblicazione: (2024)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
di: Chen, Zaoyu, et al.
Pubblicazione: (2026)

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

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
di: Ye, He, et al.
Pubblicazione: (2023)

LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
di: Fakhoury, Sarah, et al.
Pubblicazione: (2024)

HerAgent: Rethinking the Automated Environment Deployment via Hierarchical Test Pyramid
di: Li, Xiang, et al.
Pubblicazione: (2026)

MORepair: Teaching LLMs to Repair Code via Multi-Objective Fine-tuning
di: Yang, Boyang, et al.
Pubblicazione: (2024)

SPELL: Synthesis of Programmatic Edits using LLMs
di: Ramos, Daniel, et al.
Pubblicazione: (2026)

Fast, Fine-Grained Equivalence Checking for Neural Decompilers
di: Dramko, Luke, et al.
Pubblicazione: (2025)

Tingley's problem for Schreier spaces and their $p$-convexifications
di: Fakhoury, Micheline
Pubblicazione: (2024)

Ranking LLM-Generated Loop Invariants for Program Verification
di: Chakraborty, Saikat, et al.
Pubblicazione: (2023)

Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
di: Endres, Madeline, et al.
Pubblicazione: (2023)

El rol estratégico de los gobiernos locales y regionales en la implementación de la Agenda 2030: experiencias desde la cooperación Sur-Sur y triangular
di: Tahina Ojeda-Medina
Pubblicazione: (2020)

LOCALIZACIÓN DE LOS OBJETIVOS DE DESARROLLO SOSTENIBLE EN ESPACIOS FRONTERIZOS Y COOPERACIÓN SUR-SUR TRANSFRONTERIZA EN AMÉRICA LATINA
di: Tahina Ojeda Medina
Pubblicazione: (2019)

Almost Tight Additive Guarantees for $k$-Edge-Connectivity
di: Kumar, Nikhil, et al.
Pubblicazione: (2025)

SpecRover: Code Intent Extraction via LLMs
di: Ruan, Haifeng, et al.
Pubblicazione: (2024)

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation
di: Marri, Srinivas Rao
Pubblicazione: (2026)

Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding
di: Pimenova, Veronica, et al.
Pubblicazione: (2025)

SpecDiff-GAN: A Spectrally-Shaped Noise Diffusion GAN for Speech and Music Synthesis
di: Baoueb, Teysir, et al.
Pubblicazione: (2024)

SpecDiff: Accelerating Diffusion Model Inference with Self-Speculation
di: Pan, Jiayi, et al.
Pubblicazione: (2025)

Evaluating Variance in Visual Question Answering Benchmarks
di: SR, Nikitha
Pubblicazione: (2025)

Speculate: Generating REST API Specifications Using LLMs — Artifact
di: Singh, Krishanu
Pubblicazione: (2026)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications
di: Ma, Lezhi, et al.
Pubblicazione: (2024)

When Fine-Tuning LLMs Meets Data Privacy: An Empirical Study of Federated Learning in LLM-Based Program Repair
di: Luo, Wenqiang, et al.
Pubblicazione: (2024)

FormalSpecCpp: A Dataset of C++ Formal Specifications created using LLMs
di: Chakraborty, Madhurima, et al.
Pubblicazione: (2025)

Artifact - PEFT Methods for Secure Code Generation with LLMs
di: anonymous
Pubblicazione: (2025)

LaminoDiff: Artifact-Free Computed Laminography in Non-Destructive Testing via Diffusion Model
di: Liu, Tan, et al.
Pubblicazione: (2026)

Neural Network-Driven Resume Skill Inflation Detection Using NLP and Source Code Repositories
di: Krishna Swamy, Tejesh Kumar, et al.
Pubblicazione: (2026)

Tight Guarantees for Cut-Relative Survivable Network Design via a Decomposition Technique
di: Kumar, Nikhil, et al.
Pubblicazione: (2025)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
di: Liu, Kuangxiangzi, et al.
Pubblicazione: (2025)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
di: Nitin, Vikram, et al.
Pubblicazione: (2024)

SpecDiff-2: Scaling Diffusion Drafter Alignment For Faster Speculative Decoding
di: Sandler, Jameson, et al.
Pubblicazione: (2025)