:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Westphal, Oliver, Voigtländer, Janis
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Programming Languages Software Engineering
Accesso online:	https://arxiv.org/abs/2008.09253
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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