MBT

Keyphrases

Publications

2015

volume 180, 2015

Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. MBT 180 (2015)

2014

volume 141, 2014

Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. MBT 141 (2014)

2013

volume 111, 2013

Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. MBT 111 (2013)

2012

Gerjan Stokkink, Mark Timmer, Mariëlle Stoelinga
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation MBT (2012)
Bernhard K. Aichernig, Elisabeth Jöbstl
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking MBT (2012)
Ina Schieferdecker, Juergen Grossmann, Martin A. Schneider
Model-Based Security Testing MBT (2012)
Yevgeny Gerlits, Alexey V. Khoroshilov
Model-Based Testing of Safety Critical Real-Time Control Logic Software MBT (2012)
Danel Ahman, Marko Kääramees
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs MBT (2012)
Dimitry Polivaev
Rule-based Test Generation with Mind Maps MBT (2012)
Teemu Kanstrén, Olli-Pekka Puolitaival
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation MBT (2012)
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool MBT (2012)
Maximiliano Cristiá, Claudia S. Frydman
Applying SMT Solvers to the Test Template Framework MBT (2012)
Dirk Richter, Christian Berg
Exact Gap Computation for Code Coverage Metrics in ISO-C MBT (2012)

volume 80, 2012

Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. MBT 80 (2012)