Buchumschlag

Programmable Property-Based Testing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Keles, Alperen, Frank, Justine, Mert, Ceren, Goldstein, Harrison, Lampropoulos, Leonidas
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Etna: An Evaluation Platform for Property-Based Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

DIRT: Database-Integrated Random Testing
von: Keles, Alperen, et al.
Veröffentlicht: (2026)

Object Graph Programming
von: Thimmaiah, Aditya, et al.
Veröffentlicht: (2024)

Mica: Automated Differential Testing for OCaml Modules
von: Ng, Ernest, et al.
Veröffentlicht: (2024)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
von: Keles, Alperen
Veröffentlicht: (2026)

Type-level Property Based Testing
von: Hansen, Thomas Ekström, et al.
Veröffentlicht: (2024)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
von: Tjoa, Ryan, et al.
Veröffentlicht: (2025)

Pattern-Based Peephole Optimizations with Java JIT Tests
von: Zang, Zhiqiang, et al.
Veröffentlicht: (2024)

From Code to Career: Assessing Competitive Programmers for Industry Placement
von: Akib, Md Imranur Rahman, et al.
Veröffentlicht: (2025)

Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
von: Bhattar, Poornachandratejasvi Laxman, et al.
Veröffentlicht: (2026)

Automatically Testing Functional Properties of Code Translation Models
von: Eniser, Hasan Ferit, et al.
Veröffentlicht: (2023)

LitmusKt: Concurrency Stress Testing for Kotlin
von: Lochmelis, Denis, et al.
Veröffentlicht: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2023)

Checkification: A Practical Approach for Testing Static Analysis Truths
von: Ferreiro, Daniela, et al.
Veröffentlicht: (2025)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
von: Rho, Sanghoon, et al.
Veröffentlicht: (2024)

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
von: Guerin, Cormac, et al.
Veröffentlicht: (2026)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
von: Westphal, Oliver, et al.
Veröffentlicht: (2020)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
von: Cui, Baoquan, et al.
Veröffentlicht: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
von: Feng, Qiong, et al.
Veröffentlicht: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
von: Shree, Iti, et al.
Veröffentlicht: (2025)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
von: Cai, Jianfeng, et al.
Veröffentlicht: (2026)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
von: Laguna, Ignacio, et al.
Veröffentlicht: (2024)

Correctness Witnesses with Function Contracts
von: Heizmann, Matthias, et al.
Veröffentlicht: (2025)

Constant Optimization Driven Database System Testing
von: Zhang, Chi, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

LLM-Based Repair of Static Nullability Errors
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

Evaluating the Language-Based Security for Plugin Development
von: Liang, Naisheng, et al.
Veröffentlicht: (2024)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
von: Wang, Yuchen, et al.
Veröffentlicht: (2025)

EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
von: Zhu, Qian, et al.
Veröffentlicht: (2025)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
von: Bhatia, Rishipal Singh
Veröffentlicht: (2026)

MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
von: Amaral, Isabel, et al.
Veröffentlicht: (2025)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
von: Serebryany, Kostya, et al.
Veröffentlicht: (2023)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
von: Erata, Ferhat, et al.
Veröffentlicht: (2024)

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

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
von: Mang, Qiuyang, et al.
Veröffentlicht: (2025)

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
von: Lin, Teyu, et al.
Veröffentlicht: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
von: Sim, HoHyun, et al.
Veröffentlicht: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
von: Wang, Yongpan, et al.
Veröffentlicht: (2025)