Modelling Uncertainty in State Based Systems

A diverse set of state machines, which were used for the basis of two experiments, to investigate the value of Subjective Logic State Machines.<div><br></div><div>This repository includes: </div><div><br></div><div>* A curated set of state machines, encoded into dot files (sources in submitted paper).</div><div><br></div><div>* A jar version of the Mint tool, which included the test prioritisation and state machine inference code.</div><div><br></div><div>* CSV files containing the accuracy results and prioritisation results data.</div><div><br></div><div>* R scripts used to analyse the results data and to generate the various figures for the paper. </div>