CirqBuff and MBox QuickCheck Models

From CERES
Revision as of 17:06, 27 December 2016 by Ceres (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This page contains the complete CirqBuff and MBox QuickCheck models described in the paper entitled 'Modelling of Autosar Libraries for Large Scale Testing' by Wojciech Mostowski, Thomas Arts, and John Hughes. The complete paper archive can be downloaded here, below the complete model quote.

Retrieved from "https://wiki.hh.se/ceres/index.php?title=CirqBuff_and_MBox_QuickCheck_Models&oldid=6509"