Pith. sign in

REVIEW 4 cited by

A3Test: Assertion-Augmented Automated Test Case Generation

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 2302.10352 v1 pith:MHADSDNK submitted 2023-02-20 cs.SE

classification cs.SE
keywords testgenerationcasea3testassertionathenatestcasestask
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
read the original abstract

Test case generation is an important activity, yet a time-consuming and laborious task. Recently, AthenaTest -- a deep learning approach for generating unit test cases -- is proposed. However, AthenaTest can generate less than one-fifth of the test cases correctly, due to a lack of assertion knowledge and test signature verification. In this paper, we propose A3Test, a DL-based test case generation approach that is augmented by assertion knowledge with a mechanism to verify naming consistency and test signatures. A3Test leverages the domain adaptation principles where the goal is to adapt the existing knowledge from an assertion generation task to the test case generation task. We also introduce a verification approach to verify naming consistency and test signatures. Through an evaluation of 5,278 focal methods from the Defects4j dataset, we find that our A3Test (1) achieves 147% more correct test cases and 15% more method coverage, with a lower number of generated test cases than AthenaTest; (2) still outperforms the existing pre-trained models for the test case generation task; (3) contributes substantially to performance improvement via our own proposed assertion pre-training and the verification components; (4) is 97.2% much faster while being more accurate than AthenaTest.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

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

  1. Automated Test Generation from Program Documentation Encoded in Code Comments

    cs.SE 2025-04 conditional novelty 6.0 of 10

    JUDOT generates unit tests by using formal contracts extracted from Javadoc comments as search-based fitness functions, and reports testing 14.8% more documented behaviors and finding 45 real bugs in 118 Java classes.

  2. Enhancing LLM's Ability to Generate More Repository-Aware Unit Tests Through Precise Contextual Information Injection

    cs.SE 2025-01 conditional novelty 6.0 of 10

    RATester injects gopls-fetched definitions into LLM prompts during unit test generation, achieving 26.25% average line coverage and more killed mutants than baselines.

  3. The Prompt Alchemist: Automated LLM-Tailored Prompt Optimization for Test Case Generation

    cs.SE 2025-01 conditional novelty 6.0 of 10

    Automatically tailored prompts, built from diverse search, failure-derived rules, and project context, improve LLM-generated unit test coverage by roughly 6 percentage points over prior prompt optimizers.

  4. What You See Is What You Get: Attention-based Self-guided Automatic Unit Test Generation

    cs.SE 2024-12 conditional novelty 6.0 of 10

    AUGER steers an LLM's attention toward predicted defective lines and thereby triggers 84 of 723 Defects4J bugs, outperforming five test-generation baselines.

Pith tools