CirqBuff and MBox QuickCheck Models

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

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 model archive can be downloaded here, below the complete model quote.


source_path.hrl



qc_cb.hrl




qc_cb_setup.erl




qc_cb.erl




qc_mbox.hrl




qc_mbox_capi.erl




qc_mbox_setup.erl




qc_mbox.erl




qc_cluster.erl







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