Skip to content
STIMSMITH
20 results

differential testing

 Technique
Technique

mutation testing

 Concept
Concept

Differential Testing

 Concept
Concept

Regression Testing

 Concept
Concept

Randomized Testing of RISC-V CPUs using Direct Instruction Injection

 Paper
Paper

Closing the RISC-V compliance gap: Looking from the negative testing side

 Paper
Paper

Compliance Testing

 Concept
Concept

negative testing

 Concept
Concept

Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study

 Paper
Paper

Generation of various programs in Verilog/SystemVerilog for testing EDA tools

 Paper
Paper

Directed Testing

 Technique
Technique

positive testing

 Concept
Concept

Mutation-based Compliance Testing for RISC-V

 Paper
Paper

Fuzz Testing

 Technique
Technique

Concolic Testing

 Technique
Technique

Mutation Testing

 Technique
Technique

RemembERR: Leveraging Microprocessor Errata for Design Testing and Validation

 Paper
Paper

Search+LLM-based Testing for ARM Simulators

 Paper
Paper

Testing CPU Emulators

 Paper
Paper

Constrained Random Testing

 Technique
Technique