Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Bryan Dzung Ta & Atif M. Memon (2015):
MobiGUITAR: Automated Model-Based Testing of Mobile Apps.
IEEE Software 32(5),
pp. 53–59,
doi:10.1109/MS.2014.55.
Axel Belinfante (2010):
JTorX: A tool for on-line model-driven test derivation and execution.
In: Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference,
Lecture Notes in Computer Science 6015.
Springer,
pp. 266–270,
doi:10.1007/978-3-642-12002-2_21.
Antonia Bertolino, Flavio Corradini, Paola Inverardi & Henry Muccini (2000):
Deriving test plans from architectural descriptions.
In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000.
ACM,
pp. 220–229,
doi:10.1145/337180.337205.
Robert Binder:
Model-based Testing User Survey: Results and Analysis.
http://robertvbinder.com/wp-content/uploads/rvb-pdf/arts/MBT-User-Survey.pdf.
Yoonsik Cheon & Gary T. Leavens (2002):
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way.
In: ECOOP 2002 - Object-Oriented Programming, 16th European Conference.
Springer,
pp. 231–255,
doi:10.1007/3-540-47993-7_10.
Paul Clements:
Improving Testing Outcomes Through Software Architecture.
http://goo.gl/jxcgRg.
Guilherme de Cleva Farto & André Takeshi Endo (2015):
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications.
Electr. Notes Theor. Comput. Sci. 314,
pp. 3–21,
doi:10.1016/j.entcs.2015.05.002.
Alex Groce & Rajeev Joshi (2008):
Random testing and model checking: building a common framework for nondeterministic exploration.
In: Proceedings of the 2008 international workshop on dynamic analysis,
WODA '08.
ACM,
New York, NY, USA,
pp. 22–28,
doi:10.1145/1401827.1401833.
Vignir Gudmundsson, Christoph Schulze, Dharma Ganesan, Mikael Lindvall & Robert Wiegand (2013):
An initial evaluation of model-based testing.
In: IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013,
pp. 13–14,
doi:10.1109/ISSREW.2013.6688853.
Vignir Gudmundsson, Christoph Schulze, Dharma Ganesan, Mikael Lindvall & Robert Wiegand (2015):
Model-based testing of NASA's GMSEC, a reusable framework for ground system software.
ISSE 11(3),
pp. 217–232,
doi:10.1007/s11334-015-0254-6.
David Harel (1987):
Statecharts: A Visual Formalism for Complex Systems.
Science of Computer Programming 8(3),
pp. 231–274,
doi:10.1016/0167-6423(87)90035-9.
Ronald Allen Kita, Mark Edward Trumpler & Lois Scirocco Elkind (1999):
Method and apparatus for generating an extended finite state machine architecture for a software specification.
US Patent 5,870,590.
Mikael Lindvall, Dharma Ganesan, Ragnar Ardal & Robert Wiegand (2015):
Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report.
In: 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Volume 2,
pp. 129–138,
doi:10.1109/ICSE.2015.348.
Anton Michlmayr, Pascal Fenkam & Schahram Dustdar (2006):
Specification-Based Unit Testing of Publish/Subscribe Applications.
In: 26th International Conference on Distributed Computing Systems Workshops,
pp. 34,
doi:10.1109/ICDCSW.2006.103.
Henry Muccini, Antonia Bertolino & Paola Inverardi (2004):
Using software architecture for code testing.
IEEE Transactions on Software Engineering 30(3),
pp. 160–171,
doi:10.1109/TSE.2004.1271170.
Stacy J. Prowell (2003):
JUMBL: a tool for model-based statistical testing.
In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003,
pp. 337,
doi:10.1109/HICSS.2003.1174916.
Corina S. Păsăreanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz & Neha Rungta (2013):
Symbolic PathFinder: Integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng. 20(3),
pp. 391–425,
doi:10.1007/s10515-013-0122-2.
Harry Robinson:
Model-based Testing.
http://http://www.harryrobinson.net/.
Christoph Schulze, Dharma Ganesan, Mikael Lindvall, Rance Cleaveland & Daniel Goldman (2014):
Assessing model-based testing: an empirical study conducted in industry.
In: 36th International Conference on Software Engineering, ICSE '14,
pp. 135–144,
doi:10.1145/2591062.2591180.
Christoph Schulze, Dharma Ganesan, Mikael Lindvall, Dave McComas & Alan Cudmore (2013):
Model-based testing of NASA's OSAL API - An experience report.
In: IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013,
pp. 300–309,
doi:10.1109/ISSRE.2013.6698883.
Marten Sijtema, Mariëlle IA Stoelinga, Axel Belinfante & Lawrence Marinelli (2011):
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost..
In: Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011.
Springer,
pp. 117–133,
doi:10.1007/978-3-642-24431-5_10.
Michael Sipser (1997):
Introduction to the Theory of Computation.
PWS Publishing Company.
Matt Staats, Michael W. Whalen & Mats Per Erik Heimdahl (2011):
Programs, tests, and oracles: the foundations of testing revisited.
In: 33rd International Conference on Software Engineering, (ICSE 2011),
pp. 391–400,
doi:10.1145/1985793.1985847.
Jan Tretmans & Ed Brinksma (2003):
TorX: Automated Model-Based Testing.
In: First European Conference on Model-Driven Software Engineering,
pp. 31–43.
Available at http://doc.utwente.nl/66990/.