PET

Tool

First seen 7/7/2026

Last seen 7/7/2026

Evidence 2 chunks

NEIGHBORHOOD

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

4 connections

Test Case Generation implements → 100% 2e

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

PET integrates the guided TCG schemes presented in the paper.

Java Bytecode uses → 100% 2e

PET operates on Java bytecode programs.

The guided TCG Prolog implementation is integrated within PET.