Skip to content
STIMSMITH

Specification-based test program generation for MIPS64 memory management units

Paper
First seen 6/25/2026
Last seen 6/25/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
MIPS64 targets ISA → 100% 1e
The work focuses on generating test programs for the MIPS64 architecture’s MMUs, indicating it targets the MIPS64 ISA.
Specification-based test program generation uses → 95% 1e
Applies a specification-based approach to generate test programs for MIPS64 MMUs.