Cover Image

Tuning Random Generators: Property-Based Testing as Probabilistic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Tjoa, Ryan, Garg, Poorva, Goldstein, Harrison, Millstein, Todd, Pierce, Benjamin, Broeck, Guy Van den
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Software Engineering D.3; D.2.5; G.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Artifact for: Tuning Random Generators: Property-Based Testing as Probabilistic Programming
by: Tjoa, Ryan, et al.
Published: (2025)

Bit Blasting Probabilistic Programs
by: Garg, Poorva, et al.
Published: (2023)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
by: Masoudian, Maryam, et al.
Published: (2026)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
by: Prasetya, I. S. W. B., et al.
Published: (2026)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
by: Kamiya, Toshihiro
Published: (2024)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
by: Bruzzone, Federico, et al.
Published: (2025)

Verifying a Sparse Matrix Algorithm Using Symbolic Execution
by: Wilton, Alexander C.
Published: (2025)

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

Code Documentation and Analysis to Secure Software Development
by: Attie, Paul, et al.
Published: (2024)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
by: Rodríguez, María Belén, et al.
Published: (2026)

Harnessing the Power of Large Language Models for Software Testing Education: A Focus on ISTQB Syllabus
by: Ngo, Tuan-Phong, et al.
Published: (2025)

Automated Test Generation from Program Documentation Encoded in Code Comments
by: Denaro, Giovanni, et al.
Published: (2025)

Retromorphic Testing with Hierarchical Verification for Hallucination Detection in RAG
by: Yu, Boxi, et al.
Published: (2026)

Automatically Generating Questions About Scratch Programs
by: Obermüller, Florian, et al.
Published: (2025)

Detecting Vulnerabilities in Encrypted Software Code while Ensuring Code Privacy
by: Martins, Jorge, et al.
Published: (2025)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
by: Ravi, Ravin, et al.
Published: (2026)

xML-workFlow: an end-to-end explainable scikit-learn workflow for rapid biomedical experimentation
by: Tran, Khoa A., et al.
Published: (2025)

Highly Interactive Testing for Uninterrupted Development Flow
by: Tropin, Andrew
Published: (2025)

BushraDBR: An Automatic Approach to Retrieving Duplicate Bug Reports
by: Al-Msie'deen, Ra'Fat
Published: (2024)

E-Test: E'er-Improving Test Suites
by: Qiu, Ketai, et al.
Published: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
by: Lee, Gwangmu
Published: (2024)

ASSERTIFY: Utilizing Large Language Models to Generate Assertions for Production Code
by: Torkamani, Mohammad Jalili, et al.
Published: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

The Productivity-Reliability Paradox: Specification-Driven Governance for AI-Augmented Software Development
by: Farrag, Sabry E.
Published: (2026)

Closed-Loop Autonomous Software Development via Jira-Integrated Backlog Orchestration: A Case Study in Deterministic Control and Safety-Constrained Automation
by: Calboreanu, Elias
Published: (2026)

Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
by: Kitsios, Konstantinos, et al.
Published: (2025)

Synthesis-in-the-Loop Evaluation of LLMs for RTL Generation: Quality, Reliability, and Failure Modes
by: Fu, Weimin, et al.
Published: (2026)

SemLoc: Structured Grounding of Free-Form LLM Reasoning for Fault Localization
by: Yang, Zhaorui, et al.
Published: (2026)

Securing Mixed Rust with Hardware Capabilities
by: Yu, Jason Zhijingcheng, et al.
Published: (2025)

Tests4Py: A Benchmark for System Testing
by: Smytzek, Marius, et al.
Published: (2023)

Mining Bug Repositories for Multi-Fault Programs
by: Callaghan, Dylan, et al.
Published: (2024)

Automated Computer Program Evaluation and Projects -- Our Experiences
by: Srinivasan, Bama, et al.
Published: (2024)

PALM: Path-aware LLM-based Test Generation with Comprehension
by: Wu, Yaoxuan, et al.
Published: (2025)

A Comprehensive Study on Large Language Models for Mutation Testing
by: Wang, Bo, et al.
Published: (2024)

How to Drawjectory? -- Trajectory Planning using Programming by Demonstration
by: Alkewitz, Leonhard, et al.
Published: (2024)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
by: Tu, Zhi, et al.
Published: (2025)

A Catalog of Transformations to Remove Smells From Natural Language Tests
by: Aranda, Manoel, et al.
Published: (2024)

CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
by: Kiecker, Tobias, et al.
Published: (2026)

Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
by: Paltenghi, Matteo, et al.
Published: (2023)

Combined Program Analysis Techniques: A Systematic Mapping Study
by: Braione, Pietro, et al.
Published: (2026)