Pith. sign in

REVIEW 1 cited by

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2401.01073 v2 pith:O77AEAGG submitted 2024-01-02 cs.PL cs.SE

Sanghoon Rho , Philipp Martens , Seungcheol Shin , Yeoneo Kim This is my paper · ORCID
classification cs.PLcs.SE
keywords automatedtestingcoyoteunitcoveragegenerationtestcode
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

In this paper, we present Coyote C++, a fully automated white-box unit testing tool for C and C++. Whereas existing tools have struggled to realize unit test generation for C++, Coyote C++ is able to produce high coverage results from unit test generation at a testing speed of over 10,000 statements per hour. This impressive feat is made possible by the combination of a powerful concolic execution engine with sophisticated automated test harness generation. Additionally, the GUI of Coyote C++ displays detailed code coverage visualizations and provides various configuration features for users seeking to manually optimize their coverage results. Combining potent one-click automated testing with rich support for manual tweaking, Coyote C++ is the first automated testing tool that is practical enough to make automated testing of C++ code truly viable in industrial applications.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge

    cs.SE 2025-01 conditional novelty 6.0 of 10

    Adding project-dependency awareness and C++-specific knowledge to LLM prompts raises average compilation success from roughly 32% to 83% and more than doubles line and branch coverage across ten C++ projects.

Pith tools