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