Image de couverture de livre

Taming the Beast: Fully Automated Unit Testing with Coyote C++

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rho, Sanghoon, Martens, Philipp, Shin, Seungcheol, Kim, Yeoneo
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Fully Automated Generation of Combinatorial Optimisation Systems Using Large Language Models
par: Karapetyan, Daniel
Publié: (2025)

Mica: Automated Differential Testing for OCaml Modules
par: Ng, Ernest, et autres
Publié: (2024)

A Roadmap for Tamed Interactions with Large Language Models
par: Scotti, Vincenzo, et autres
Publié: (2025)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

Automated Code Repair for C/C++ Static Analysis Alerts
par: Svoboda, David, et autres
Publié: (2025)

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization
par: Zhang, Weixing, et autres
Publié: (2024)

Unlocking the Power of Environment Assumptions for Unit Proofs
par: Priya, Siddharth, et autres
Publié: (2024)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
par: Mang, Qiuyang, et autres
Publié: (2025)

Automated Insertion of Flushes and Fences for Persistency
par: Guo, Yutong, et autres
Publié: (2025)

RaceFixer -- An Automated Data Race Fixer
par: Malakar, Sanjay, et autres
Publié: (2024)

Automated Code Editing with Search-Generate-Modify
par: Liu, Changshu, et autres
Publié: (2023)

ProDebug: An Automated Debugging System for Prolog
par: Brancas, Ricardo, et autres
Publié: (2026)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

A Unified Framework for Automated Code Transformation and Pragma Insertion
par: Pouget, Stéphane, et autres
Publié: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
par: Gorna, Karolina, et autres
Publié: (2025)

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
par: Yao, Bingkun, et autres
Publié: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
par: Ke, Kaiyao, et autres
Publié: (2025)

Type-level Property Based Testing
par: Hansen, Thomas Ekström, et autres
Publié: (2024)

LitmusKt: Concurrency Stress Testing for Kotlin
par: Lochmelis, Denis, et autres
Publié: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
par: Prasad, Siddhartha, et autres
Publié: (2023)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
par: Erata, Ferhat, et autres
Publié: (2024)

Pattern-Based Peephole Optimizations with Java JIT Tests
par: Zang, Zhiqiang, et autres
Publié: (2024)

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

ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch
par: Si, Yuan, et autres
Publié: (2025)

Checkification: A Practical Approach for Testing Static Analysis Truths
par: Ferreiro, Daniela, et autres
Publié: (2025)

Describing Console I/O Behavior for Testing Student Submissions in Haskell
par: Westphal, Oliver, et autres
Publié: (2020)

JustinANN: Realistic Test Generation for Java Programs Driven by Annotations
par: Cui, Baoquan, et autres
Publié: (2025)

AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
par: Erata, Ferhat, et autres
Publié: (2024)

C*: Unifying Programming and Verification in C
par: Cao, Yiyuan, et autres
Publié: (2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
par: Feng, Qiong, et autres
Publié: (2025)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
par: Shree, Iti, et autres
Publié: (2025)

Towards a Transpiler for C/C++ to Safer Rust
par: Tripuramallu, Dhiren, et autres
Publié: (2024)

EATXT: A textual concrete syntax for EAST-ADL
par: Zhang, Weixing, et autres
Publié: (2024)

CodeContests-O: Powering LLMs via Feedback-Driven Iterative Test Case Generation
par: Cai, Jianfeng, et autres
Publié: (2026)

LPR: Large Language Models-Aided Program Reduction
par: Zhang, Mengxiao, et autres
Publié: (2023)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
par: Antal, Gábor, et autres
Publié: (2024)

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation
par: Laguna, Ignacio, et autres
Publié: (2024)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
par: Dau, Anh T. V., et autres
Publié: (2026)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
par: Dau, Anh T. V., et autres
Publié: (2026)