Cover Image

Trace-Guided Synthesis of Effectful Test Generators

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Zhe, Desai, Ankush, Delaware, Benjamin, Jagannathan, Suresh
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

Liquid Tree Automata
by: Mishra, Ashish, et al.
Published: (2026)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
by: Ye, Qianchuan, et al.
Published: (2023)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
by: Nagar, Kartik, et al.
Published: (2020)

Proof Automation with Large Language Models
by: Lu, Minghai, et al.
Published: (2024)

Practical Refinement Session Type Inference (Extended Version)
by: Ueno, Toby, et al.
Published: (2026)

Program Synthesis from Partial Traces
by: Ferreira, Margarida, et al.
Published: (2025)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

SAGE-HLS: Syntax-Aware AST-Guided LLM for High-Level Synthesis Code Generation
by: Khan, M Zafir Sadik, et al.
Published: (2025)

Mason: Type- and Name-Guided Program Synthesis
by: Geer, Jasper, et al.
Published: (2026)

Agentic Separation Logic Specification Synthesis
by: Suresh, Tarun, et al.
Published: (2026)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
by: Ma, Zhiyao, et al.
Published: (2025)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
by: Damodaran, Suresh K., et al.
Published: (2025)

Input-Gen: Guided Generation of Stateful Inputs for Testing, Tuning, and Training
by: Ivanov, Ivan R., et al.
Published: (2024)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
by: Haase, Darion, et al.
Published: (2026)

Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis
by: Huang, Zhechong, et al.
Published: (2025)

Validating Traces of Distributed Programs Against TLA+ Specifications
by: Cirstea, Horatiu, et al.
Published: (2024)

LLM-Guided Compositional Program Synthesis
by: Khan, Ruhma, et al.
Published: (2025)

Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
by: Li, Tianchi, et al.
Published: (2026)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Predictive Monitoring with Strong Trace Prefixes
by: Ang, Zhendong, et al.
Published: (2024)

Checking Consistency of Event-driven Traces
by: Abdulla, Parosh Aziz, et al.
Published: (2025)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
by: Kang, Byeongjee, et al.
Published: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
by: Ma, Haoyang, et al.
Published: (2025)

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
by: Izawa, Yusuke, et al.
Published: (2025)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis
by: Smith, Gus Henry, et al.
Published: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
by: Barke, Shraddha, et al.
Published: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)

Verifying Solutions to Semantics-Guided Synthesis Problems
by: Murphy, Charlie, et al.
Published: (2024)

Automatic Code and Test Generation of Smart Contracts from Coordination Models
by: Selabi, Elvis Konjoh, et al.
Published: (2026)

Literate Tracing
by: Sotoudeh, Matthew
Published: (2025)

Mica: Automated Differential Testing for OCaml Modules
by: Ng, Ernest, et al.
Published: (2024)