Skip to content
STIMSMITH

Testing CPU Emulators

Paper
First seen 6/7/2026
Last seen 6/7/2026
Evidence 11 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

17 connections
instruction encoding mentions → 100% 2e
The paper discusses instruction encoding as a key aspect of generating valid test-cases.
Valgrind evaluates → 100% 2e
The paper evaluates Valgrind as one of four IA-32 emulators tested.
Pin evaluates → 100% 2e
The paper evaluates Pin as one of four IA-32 emulators tested.
faithful emulation introduces → 100% 2e
The paper formally introduces the notion of faithful emulation as the basis for its testing methodology.
exception handling mentions → 100% 2e
The paper discusses exception handling as part of the testing methodology and defects found in emulators.
random test-case generation compares with → 90% 2e
The paper compares random test-case generation with CPU-assisted test-case generation in terms of instruction coverage.
Simics mentions → 100% 2e
The paper mentions Simics as an example of a whole-system emulator.
EmuFuzzer introduces → 100% 2e
The paper introduces EmuFuzzer, a prototype implementation of the testing methodology for IA-32 emulators.
Fuzzing uses → 100% 2e
The paper presents a testing methodology based on fuzzing for CPU emulators.
QEMU evaluates → 100% 2e
The paper evaluates QEMU as one of four IA-32 emulators tested.
BOCHS evaluates → 100% 2e
The paper evaluates BOCHS as one of four IA-32 emulators tested.
Roberto Paleari authored by → 100% 1e
The paper Testing CPU Emulators is authored by Roberto Paleari.
Giampaolo Fresi Roglia authored by → 100% 1e
The paper Testing CPU Emulators is authored by Giampaolo Fresi Roglia.
Danilo Bruschi authored by → 100% 1e
The paper Testing CPU Emulators is authored by Danilo Bruschi.
Church-Turing thesis mentions → 100% 1e
The paper mentions the Church-Turing thesis to justify that any hardware system can be emulated via software.
CISC architecture mentions → 100% 1e
The paper mentions CISC architectures as having a rich instruction set that makes emulator development challenging.
Lorenzo Martignoni authored by → 100% 1e
The paper Testing CPU Emulators is authored by Lorenzo Martignoni.