Rapid prototyping and compact testing of CPU emulators

Ma, Weiqin; Forin, Alessandro; Liu, Jyh-Charn

doi:10.1109/rsp.2010.5656339

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work2

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Other2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using formal instruction set semantics to generate test cases is a form of model-based test generation. As semantics for instructions are usually embedded in instruction set simulators, past work on testing these simulators [20,21,22,23,24] highlight the main approaches used.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Generating Test Suites for GPU Instruction Sets through Mutation and Equivalence Checking

Shitrit¹,

Pai²

2022

Proceedings FUZZING 2022 - 1st International Fuzzing Workshop

View full text Add to dashboard Cite

show abstract

Section: Related Workmentioning

confidence: 99%

“…Specifications for Intel CPUs are mined from their manuals in [22] and used to construct test abstractions. These are instantiated with "boundary" values based on the intuition that boundary values lead to most errors.…”

Section: Related Workmentioning

confidence: 99%