bib-rems.bib

@article{rems-scico15,
  title = {Randomised Testing of a Microprocessor Model Using {SMT}-Solver State Generation},
  author = {Brian Campbell and Ian Stark},
  journal = {Science of Computer Programming},
  year = 2016,
  volume = 118,
  pages = {60--76},
  month = {March},
  issn = {0167-6423},
  doi = {10.1016/j.scico.2015.10.012},
  preprint = {rems/scico2015.pdf}
}
@inproceedings{rems-fmics14,
  title = {Randomised Testing of a Microprocessor Model Using {SMT}-Solver State Generation},
  author = {Brian Campbell and Ian Stark},
  booktitle = {Formal Methods for Industrial Critical Systems ({FMICS} 2014)},
  year = 2014,
  editor = {Fr{\'{e}}d{\'{e}}ric Lang and Francesco Flammini},
  volume = 8718,
  series = {Lecture Notes in Computer Science},
  pages = {185--199},
  publisher = {Springer},
  doi = {10.1007/978-3-319-10702-8_13},
  slides = {rems/fmics-m0-talk.pdf},
  preprint = {rems/fmics2014.pdf},
  preprintnote = {The final publication is available at link.springer.com}
}
@inproceedings{rems-fmcad16,
  title = {Extracting Behaviour from an Executable Instruction Set Model},
  author = {Brian Campbell and Ian Stark},
  booktitle = {Formal Methods in Computer-Aided Design, ({FMCAD} 2016)},
  year = 2016,
  editor = {Ruzica Piskac and Muralidhar Talupur},
  pages = {33--40},
  tododoi = {},
  isbn = {978-0-9835678-6-8},
  slides = {rems/fmcad16-slides.pdf},
  preprint = {rems/fmcad16.pdf},
  preprintnote = {\url{http://www.fmcad.org/FMCAD16}}
}