Brian Campbell and Ian Stark. Randomised testing of a microprocessor model using SMT-solver state generation. Science of Computer Programming, 118:60--76, March 2016. [ bib | DOI | Author's version ]

Brian Campbell and Ian Stark. Randomised testing of a microprocessor model using SMT-solver state generation. In Frédéric Lang and Francesco Flammini, editors, Formal Methods for Industrial Critical Systems (FMICS 2014), volume 8718 of Lecture Notes in Computer Science, pages 185--199. Springer, 2014. The final publication is available at link.springer.com. [ bib | DOI | Author's version | slides ]

Brian Campbell and Ian Stark. Extracting behaviour from an executable instruction set model. In Ruzica Piskac and Muralidhar Talupur, editors, Formal Methods in Computer-Aided Design, (FMCAD 2016), pages 33--40, 2016. http://www.fmcad.org/FMCAD16. [ bib | DOI | Author's version | slides ]