Pith. sign in

REVIEW 1 cited by

SBFT Tool Competition 2024 -- Python Test Case Generation Track

Not yet reviewed by Pith; the record is open.

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.15189 v1 pith:Z7ZQCSCL submitted 2024-01-26 cs.SE

classification cs.SE
keywords pythontestchallengescasecompetitiongenerationtoolsresults
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Test case generation (TCG) for Python poses distinctive challenges due to the language's dynamic nature and the absence of strict type information. Previous research has successfully explored automated unit TCG for Python, with solutions outperforming random test generation methods. Nevertheless, fundamental issues persist, hindering the practical adoption of existing test case generators. To address these challenges, we report on the organization, challenges, and results of the first edition of the Python Testing Competition. Four tools, namely UTBotPython, Klara, Hypothesis Ghostwriter, and Pynguin were executed on a benchmark set consisting of 35 Python source files sampled from 7 open-source Python projects for a time budget of 400 seconds. We considered one configuration of each tool for each test subject and evaluated the tools' effectiveness in terms of code and mutation coverage. This paper describes our methodology, the analysis of the results together with the competing tools, and the challenges faced while running the competition experiments.

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. Combining Type Inference and Automated Unit Test Generation for Python

    cs.SE 2025-07 conditional novelty 6.0 of 10

    A proxy-based type tracing technique integrated into Pynguin infers parameter and return types during test generation and improves branch coverage.

Pith tools