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