References

  1. Paul Ammann & Jeff Offutt (2008): Introduction to Software Testing. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511809163.
  2. Robert V. Binder (1999): Testing Object-Oriented Systems: Models, Patterns, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA.
  3. 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.
  4. 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.
  5. Conformiq: Designer 4.4. http://www.conformiq.com/.
  6. Inc. Forrester Research (2012): The Total Economic Impact of Conformiq Tool Suite. http://www.conformiq.com/tei-conformiq.pdf.
  7. Florian Heidenreich (2012): FeatureMapper. http://featuremapper.org/.
  8. IBM: Rational DOORS. www.ibm.com/software/products/us/en/ratidoor.
  9. 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.
  10. 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.
  11. John D. McGregor (2001): Testing a Software Product Line. Technical Report CMU/SEI-2001-TR-022.
  12. Glenford J. Myers (1979): Art of Software Testing. John Wiley & Sons, Inc., New York, NY, USA.
  13. Object Management Group (2011): Unified Modeling Language (UML), version 2.4. http://www.uml.org.
  14. 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.
  15. 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.
  16. 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.
  17. Klaus Pohl & Andreas Metzger (2006): Software Product Line Testing. Communications of the ACM 49(12), pp. 78–81, doi:10.1145/1183236.1183271.
  18. pure systems (2012): pure::variants. http://www.pure-systems.com.
  19. Carnegie Mellon University (2012): Software Product Lines. http://www.sei.cmu.edu/productlines/.
  20. Mark Utting & Bruno Legeard (2006): Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  21. 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.
  22. Stephan Weißleder: ParTeG (Partition Test Generator). http://parteg.sourceforge.net.
  23. 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.
  24. 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.
  25. Editors Justyna Zander, Ina Schieferdecker & Pieter J. Mosterman (2011): Model-Based Testing for Embedded Systems. CRC Press.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org