Structured Random Differential Testing of Instruction Decoders
PaperFirst seen 7/30/2026
Last seen 7/30/2026
Evidence 6 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
14 connectionsThe paper discusses the DERIVE system as related prior work on instruction encoding inference.
The paper evaluates libopcodes as one of the instruction decoders under test.
The paper evaluates LLVM as one of the instruction decoders under test.
The paper evaluates Dyninst as one of the instruction decoders under test.
The paper evaluates Capstone as one of the instruction decoders under test.
The paper explicitly compares its approach with Paleari et al.'s prior work on x86 decoder differential testing.
The paper presents Fleece as the tool implementing their testing methodology.
The paper uses differential testing as a core component of output verification.
The paper evaluates XED as one of the instruction decoders under test.
Barton P. Miller is listed as an author of the paper.
Both authors are affiliated with the University of Wisconsin.
The paper discusses model-based input generation as prior related work.
The paper introduces a structured random testing methodology for instruction decoders.
Nathan Jay is listed as an author of the paper.