Randomised testing of a microprocessor model using SMT-solver state generation

Brian Campbell, Ian Stark. Randomised testing of a microprocessor model using SMT-solver state generation. Science of Computer Programming, 118:60-76, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.