:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Westphal, Oliver, Voigtländer, Janis
Format:	Preprint
Published:	2020
Subjects:	Programming Languages Software Engineering
Online Access:	https://arxiv.org/abs/2008.09253
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
by: Zenkner, Janis, et al.
Published: (2025)

AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning
by: Zenkner, Janis, et al.
Published: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
by: Cai, Jianfeng, et al.
Published: (2026)

A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

Type-level Property Based Testing
by: Hansen, Thomas Ekström, et al.
Published: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
by: Lochmelis, Denis, et al.
Published: (2025)

Etna: An Evaluation Platform for Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

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

Pattern-Based Peephole Optimizations with Java JIT Tests
by: Zang, Zhiqiang, et al.
Published: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
by: Chatterjee, Bodhisatwa, et al.
Published: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)

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

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
by: Carreira, Carolina, et al.
Published: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
by: Feng, Qiong, et al.
Published: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
by: Laguna, Ignacio, et al.
Published: (2024)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

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

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
by: Mang, Qiuyang, et al.
Published: (2025)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing
by: Gu, Yile, et al.
Published: (2025)

Detecting Buggy Contracts via Smart Testing
by: Wang, Sally Junsong, et al.
Published: (2024)

Automatically Testing Functional Properties of Code Translation Models
by: Eniser, Hasan Ferit, et al.
Published: (2023)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
by: Singh, Animesh, et al.
Published: (2026)

Self-Improving Code Generation via Semantic Entropy and Behavioral Consensus
by: Zhang, Huan, et al.
Published: (2026)

Automated Test Data Generation for Enterprise Protobuf Systems: A Metaclass-Enhanced Statistical Approach
by: Du, Y.
Published: (2025)

Directed Testing of ORAN using a Partially Specified Declarative Digital Twin
by: Gatherer, Alan, et al.
Published: (2024)

From Code Generation to Software Testing: AI Copilot with Context-Based RAG
by: Wang, Yuchen, et al.
Published: (2025)

Advancing BDD Software Testing: Dynamic Scenario Re-Usability And Step Auto-Complete For Cucumber Framework
by: Mughal, A. H.
Published: (2024)

Agentic Program Repair from Test Failures at Scale: A Neuro-symbolic approach with static analysis and test execution feedback
by: Maddila, Chandra, et al.
Published: (2025)

Developing Accessible Mobile Applications with Cross-Platform Development Frameworks
by: Mascetti, Sergio, et al.
Published: (2020)

Package Managers à la Carte: A Formal Model of Dependency Resolution
by: Gibb, Ryan, et al.
Published: (2026)

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

An Encoding of Interaction Nets in OCaml
by: Huber, Nikolaus, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)