About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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 Boer1,*, Daniël Reijsbergen2, Werner Scheinhardt1
  • 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
Copyright © 2015–2025 ICST
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL