Interactive comparison of hypothesis tests for statistical model checking

Pieter-Tjerk de Boer; Daniël Reijsbergen; Werner Scheinhardt

9th EAI International Conference on Performance Evaluation Methodologies and Tools

Research Article

Interactive comparison of hypothesis tests for statistical model checking

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/eai.14-12-2015.2262571,
    author={Pieter-Tjerk de Boer and Dani\`{\i}l Reijsbergen and Werner Scheinhardt},
    title={Interactive comparison of hypothesis tests for statistical model checking},
    proceedings={9th EAI International Conference on Performance Evaluation Methodologies and Tools},
    publisher={ACM},
    proceedings_a={VALUETOOLS},
    year={2016},
    month={1},
    keywords={statistical model checking hypothesis testing},
    doi={10.4108/eai.14-12-2015.2262571}
}

Pieter-Tjerk de Boer
Daniël Reijsbergen
Werner Scheinhardt
Year: 2016
Interactive comparison of hypothesis tests for statistical model checking
VALUETOOLS
ICST
DOI: 10.4108/eai.14-12-2015.2262571

Pieter-Tjerk de Boer¹^,*, Daniël Reijsbergen², Werner Scheinhardt¹

1: University of Twente
2: University of Edinburgh

*Contact email: p.t.deboer@utwente.nl

Abstract

We present a web-based interactive comparison of hypothesis tests as are used in statistical model checking, providing users and tool developers with more insight into their characteristics. Parameters can be modified easily and their influence is visualized in real time; an integrated simulation engine further illustrates the behaviour of the tests. Finally, since the source code is available, it can serve as a framework in which newly developed tests can be tried.

Keywords: statistical model checking hypothesis testing

Published: 2016-01-04
Publisher: ACM

: http://dx.doi.org/10.4108/eai.14-12-2015.2262571