Paul Ammann & Jeff Offutt (2008):
Introduction to Software Testing.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9780511809163.
Robert V. Binder (1999):
Testing Object-Oriented Systems: Models, Patterns, and Tools.
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
Manfred Broy, Bengt Jonsson & Joost P. Katoen (2005):
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science).
Springer,
doi:10.1007/b137241.
H. Cichos, S. Oster, M. Lochau & A. Schürr (2011):
Model-based Coverage-Driven Test Suite Generation for Software Product Lines.
In: Proceedings of the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems,
Lecture Notes in Computer Science (LNCS) 6981.
Springer Verlag,
Heidelberg,
pp. 425–439,
doi:10.1007/978-3-642-24485-8_31.
Hartmut Lackner, Jaroslav Svacina, Stephan Weißleder, Mirko Aigner & Marina Kresse (2010):
Introducing Model-Based Testing in Industrial Context - An Experience Report.
In: MoTiP'10: Workshop on Model-Based Testing in Practice.
Malte Lochau, Sebastian Oster, Ursula Goltz & Andy Schürr (2012):
Model-based pairwise testing for feature interaction coverage in software product line engineering.
Software Quality Journal 20(3-4),
pp. 567–604,
doi:10.1007/s11219-011-9165-4.
John D. McGregor (2001):
Testing a Software Product Line.
Technical Report CMU/SEI-2001-TR-022.
Glenford J. Myers (1979):
Art of Software Testing.
John Wiley & Sons, Inc.,
New York, NY, USA.
Object Management Group (2011):
Unified Modeling Language (UML), version 2.4.
http://www.uml.org.
Jeff Offutt & Aynur Abdurazik (1999):
Generating Tests from UML Specifications.
In: Robert France & Bernhard Rumpe: UML'99 - The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28-30. 1999, Proceedings 1723.
Springer,
pp. 416–429,
doi:10.1007/3-540-46852-8_30.
Erika Mir Olimpiew & Hassan Gomaa (2005):
Model-Based Testing for Applications Derived from Software Product Lines.
ACM SIGSOFT Software Engineering Notes 30(4),
pp. 1–7,
doi:10.1145/1082983.1083279.
Sebastian Oster, Ivan Zorcic, Florian Markert & Malte Lochau (2011):
MoSo-PoLiTe: tool support for pairwise and model-based software product line testing.
In: VaMoS,
pp. 79–82.
Available at http://doi.acm.org/10.1145/1944892.1944901.
Klaus Pohl & Andreas Metzger (2006):
Software Product Line Testing.
Communications of the ACM 49(12),
pp. 78–81,
doi:10.1145/1183236.1183271.
pure systems (2012):
pure::variants.
http://www.pure-systems.com.
Carnegie Mellon University (2012):
Software Product Lines.
http://www.sei.cmu.edu/productlines/.
Mark Utting & Bruno Legeard (2006):
Practical Model-Based Testing: A Tools Approach.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA.
Mark Utting, Alexander Pretschner & Bruno Legeard (2012):
A Taxonomy of Model-Based Testing Approaches.
Softw. Test. Verif. Reliab. 22(5),
pp. 297–312,
doi:10.1002/stvr.456.
Stephan Weißleder:
ParTeG (Partition Test Generator).
http://parteg.sourceforge.net.
Stephan Weißleder, Dehla Sokenou & Holger Schlingloff (2008):
Reusing State Machines for Automatic Test Generation in Product Lines.
In: Axel Rennoch Thomas Bauer, Hajo Eichler: Model-Based Testing in Practice (MoTiP).
Fraunhofer IRB Verlag.
Stephan Weißleder & Hartmut Lackner (2010):
System Models vs. Test Models -Distinguishing the Undistinguishable?.
In: Klaus-Peter Fähnrich & Bogdan Franczyk: GI Jahrestagung (2),
LNI 176.
GI,
pp. 321–326.
Available at http://dblp.uni-trier.de/db/conf/gi/gi2010-2.html#WeisslederL10.
Editors Justyna Zander, Ina Schieferdecker & Pieter J. Mosterman (2011):
Model-Based Testing for Embedded Systems.
CRC Press.