Interactive comparison of hypothesis tests for statistical model checking

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
61 Downloads (Pure)

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.
Original languageUndefined
Title of host publication9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015
Place of PublicationNew York
PublisherAssociation for Computing Machinery (ACM)
Pages-
Number of pages5
ISBN (Print)978-1-63190-096-9
DOIs
Publication statusPublished - Dec 2015
Event9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015 - Berlin, Germany
Duration: 14 Dec 201516 Dec 2015
Conference number: 9
http://archive.valuetools.org/2015/show/home

Publication series

Name
PublisherACM

Conference

Conference9th EAI International Conference on Performance Evaluation Methodologies and Tools 2015
Abbreviated titleVALUETOOLS 2015
CountryGermany
CityBerlin
Period14/12/1516/12/15
Internet address

Keywords

  • EC Grant Agreement nr.: FP7/2007-2013
  • EC Grant Agreement nr.: FP7/318490
  • EC Grant Agreement nr.: FP7/600708
  • METIS-316023
  • Statistical Model Checking
  • Hypothesis Testing
  • IR-99564
  • EWI-26585

Cite this

de Boer, P-T., Reijsbergen, D. P., & Scheinhardt, W. R. W. (2015). Interactive comparison of hypothesis tests for statistical model checking. In 9th EAI International Conference on Performance Evaluation Methodologies and Tools, ValueTools 2015 (pp. -). New York: Association for Computing Machinery (ACM). https://doi.org/10.4108/eai.14-12-2015.2262571