A human-centred framework for supporting agile model-based testing

Maria Spichkova, Anna Zamansky

Research output: Contribution to journalConference articlepeer-review


The successful application of model-based testing (MBT) heavily relies on constructing a complete and coherent model of a system. This implies that inconsistency, incompleteness, or inaccuracy due to human error bear significant consequences. We propose a formal framework for MBT which we call AHR: agile, human-centred and refinementoriented. AHR captures an iterative construction of models and test plans, as well as supports refinements at different levels of abstraction. Copyright (c) by the paper's authors. Copying permitted only for private and academic purposes.

Original languageEnglish
Pages (from-to)105-112
Number of pages8
JournalCEUR Workshop Proceedings
StatePublished - 2016
EventCAiSE Forum, CAiSE-Forum 2016, at the 28th International Conference on Advanced Information Systems Engineering, CAiSE 2016 - Ljubljana, Slovenia
Duration: 13 Jun 201617 Jun 2016

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'A human-centred framework for supporting agile model-based testing'. Together they form a unique fingerprint.

Cite this