Test Case Generation

Technique

First seen 7/7/2026

Last seen 7/7/2026

Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

5 connections

Symbolic Execution uses → 100% 2e

Test case generation is performed via symbolic execution of CLP-translated programs.

PET ← implements 100% 2e

PET is an automatic test case generation tool for Java bytecode.

Guided TCG extends standard TCG by incorporating selection criteria to guide symbolic execution.

Partial Evaluation uses → 100% 1e

The CLP-based TCG approach uses partial evaluation to translate programs.

jPET ← implements 100% 1e

jPET is an automatic test case generator for Java.