Skip to content
STIMSMITH

IBM GenesysPro Constrained Random Test Generator

Tool
First seen 8/5/2026
Last seen 8/5/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Branch-Not-Taken (BNT) Mechanism implements → 95% 2e
IBM GenesysPro uses the BNT mechanism as an existing approach for handling branch instructions during test generation.
constrained-random test generation implements → 98% 2e
IBM GenesysPro is a constrained random test generator implementing constrained random test generation techniques.
International Business Machines Corporation published by → 97% 2e
IBM GenesysPro is a tool published and owned by International Business Machines Corporation.
Reentrant Mode Test Generation uses → 92% 1e
IBM GenesysPro uses a reentrant mode for test generation, marking instruction sequences with a 'reentrant' attribute.
Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification ← mentions 97% 1e
This paper describes IBM's GenesysPro test program generator and its innovations.