M. Blackburn, R. Busser, A. Nauman, R. Knickerbocker & R. Kasuda (2002):
Mars Polar Lander Fault Identification Using Model-Based Testing.
In: 8th IEEE Int'l. Conf. on Engineering of Complex Computer Systems (ICECCS02),
pp. 163–169,
doi:10.1109/ICECCS.2002.1181509.
E. Bringmann & A. Krämer (2008):
Model-Based Testing of Automotive Systems.
In: IEEE Int'l. Conf. on Software Testing, Verification and Validation (ICST2008),
pp. 485–493,
doi:10.1109/ICST.2008.45.
W. Grieskamp, N. Kicillof, K. Stobie & V. Braberman (2011):
Model-Based Quality Assurance of Protocol Documentation: Tools and Methodology.
Journal of Software Testing, Verification and Reliability 21(1),
pp. 55–71,
doi:10.1002/stvr.427.
T. Kanstrén, O-P. Puolitaival & J. Perälä (2011):
An Approach to Modularization in Model-Based Testing.
In: 3rd Int'l. Conf. on Advances in System Testing and Validation Lifecycle (VALID2011).
T. Kanstrén, O-P. Puolitaival, V-M. Rytky, A. Saarela & J. S. Keränen (2012):
Experiences in Setting up Domain-Specific Model-Based Testing.
In: 13th IEEE Int'l. Conf. on Industrial Technology (ICIT2012).
M. Katara & A. Kervinen (2006):
Making Model-Based Testing more Agile: A Use Case Driven Approach.
In: Haifa Verification Conference (HVC2006),
pp. 219–234,
doi:10.1007/978-3-540-70889-6_17.
S. Kelly & J-P. Tolvanen (2008):
Domain Specific Modeling: Enabling Full Code Generation.
Wiley.
J. Kloos & R. Eschbach (2010):
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems.
Electronic Notes in Theoretical Computer Science 263,
pp. 145–160,
doi:10.1016/j.entcs.2010.05.009.
A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, B. Sostawa, R. Zölch & T. Stauner (2005):
One Evaluation of Model-Based testing and its Automation.
In: 27th Int'l. Conf. on Software Engineering (ICSE2005),
pp. 392–401,
doi:10.1145/1062455.1062529.
O-P. Puolitaival, T. Kanstrén, V-M. Rytky & A. Saarela (2011):
Utilizing Domain-Specific Modelling for Software Testing.
In: 3rd Int'l. Conf. on Advances in System Testing and Validation Lifecycle (VALID2011).
P. Santos-Neto, R. Resende & C. Pádua (2008):
An Evaluation of a Model-Based Testing Method for Information Systems.
In: ACM Symposium on Applied Computing,
pp. 770–776,
doi:10.1145/1363686.1363865.
T. Takala, M. Katara & J. Harty (2012):
Experiences of System-Level Model-Based GUI Testing of Android Applications.
In: 4th IEEE Int'l. Conf. on Software Testing, Verification and Validation (ICST2011),
doi:10.1109/ICST.2011.11.
M. Utting & B. Legeard (2007):
Practical Model-Based Testing: A Tools Approach.
Morgan Kaufmann.
M. Utting, A. Pretschner & B. Legeard (2011):
A Taxonomy of Model-Based Testing Approaches.
Journal of Software Testing, Verification and Reliability,
doi:10.1002/stvr.456.
M. Vieira, X. Song, G. Matos, S. Storck, R. Tanikella & B. Hasling (2008):
Applying Model-Based Testing to Healthcare Products: Preliminary Experiences.
In: 30th Int'l. Conf. on Software Engineering (ICSE2008),
pp. 669–671,
doi:10.1145/1368088.1368183.
eptcs@eptcs.org