Skip to content
STIMSMITH

guidedTCG Prolog Implementation

CodeArtifact
First seen 7/7/2026
Last seen 7/7/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Guided Test Case Generation implements → 100% 3e
The guidedTCG Prolog implementation implements the guided TCG schemes for both coverage criteria.
All-Local-Paths Coverage Criterion implements → 100% 2e
The Prolog implementation realizes the all-local-paths guided TCG scheme.
Program-Points Coverage Criterion implements → 100% 2e
The Prolog implementation realizes the program-points guided TCG scheme.
PET part of → 100% 1e
The guided TCG Prolog implementation is integrated within PET.