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
53–59
10.1109/MS.2014.55
Axel Belinfante
2010
JTorX: A tool for on-line model-driven test derivation and execution
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference
Lecture Notes in Computer Science
6015
Springer
266–270
10.1007/978-3-642-12002-2_21
Antonia Bertolino
Flavio Corradini
Paola Inverardi
Henry Muccini
2000
Deriving test plans from architectural descriptions
Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000
ACM
220–229
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
ECOOP 2002 - Object-Oriented Programming, 16th European Conference
Springer
231–255
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
3–21
10.1016/j.entcs.2015.05.002
Alex Groce
Rajeev Joshi
2008
Random testing and model checking: building a common framework for nondeterministic exploration
Proceedings of the 2008 international workshop on dynamic analysis
WODA '08
ACM
New York, NY, USA
22–28
10.1145/1401827.1401833
Vignir Gudmundsson
Christoph Schulze
Dharma Ganesan
Mikael Lindvall
Robert Wiegand
2013
An initial evaluation of model-based testing
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013
13–14
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
217–232
10.1007/s11334-015-0254-6
David Harel
1987
Statecharts: A Visual Formalism for Complex Systems
Science of Computer Programming
8
3
231–274
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
37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Volume 2
129–138
10.1109/ICSE.2015.348
Anton Michlmayr
Pascal Fenkam
Schahram Dustdar
2006
Specification-Based Unit Testing of Publish/Subscribe Applications
26th International Conference on Distributed Computing Systems Workshops
34
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
160–171
10.1109/TSE.2004.1271170
Stacy J. Prowell
2003
JUMBL: a tool for model-based statistical testing
Proceedings of the 36th Annual Hawaii International Conference on System Sciences, 2003
337
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
391–425
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
36th International Conference on Software Engineering, ICSE '14
135–144
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
IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013
300–309
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.
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011
Springer
117–133
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
33rd International Conference on Software Engineering, (ICSE 2011)
391–400
10.1145/1985793.1985847
Jan Tretmans
Ed Brinksma
2003
TorX: Automated Model-Based Testing
First European Conference on Model-Driven Software Engineering
31–43
http://doc.utwente.nl/66990/