Pith. sign in

REVIEW 1 cited by

Automated Test Generation from Program Documentation Encoded in Code Comments

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 2504.21161 v1 pith:WBDPUQBL submitted 2025-04-29 cs.SE

Automated Test Generation from Program Documentation Encoded in Code Comments

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

Documenting the functionality of software units with code comments, e.g., Javadoc comments, is a common programmer best-practice in software engineering. This paper introduces a novel test generation technique that exploits the code-comment documentation constructively. We originally address those behaviors as test objectives, which we pursue in search-based fashion. We deliver test cases with names and oracles properly contextualized on the target behaviors. Our experiments against a benchmark of 118 Java classes indicate that the proposed approach successfully tests many software behaviors that may remain untested with coverage-driven test generation approaches, and distinctively detects unknown failures.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

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

  1. Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps

    cs.SE 2026-06 unverdicted novelty 6.0

    An empirical study extracts 20,729 expected behaviors from ten Java libraries and finds 17.5% remain untested, independent of line coverage and mutation scores.