1. Bernhard K. Aichernig, Florian Lorber & Dejan Ničkovi\'c (2013): Time for Mutants — Model-Based Mutation Testing with Timed Automata. In: David Hutchison et al.: Tests and Proofs, Lecture Notes in Computer Science 7942. Springer Berlin Heidelberg, pp. 20–38, doi:10.1007/978-3-642-38916-0_2.
  2. Fevzi Belli, Christof J. Budnik & Lee White (2006): Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability 16(1), pp. 3–32, doi:10.1002/stvr.335.
  3. Fevzi Belli & Axel Hollmann (2008): Test generation and minimization with basic statecharts. In: Edward J. Delp & Ping Wah Wong: the 2008 ACM symposium vol. 5681. SPIE and IS&T, Bellingham and Wash and Springfield and Va, pp. 718, doi:10.1145/1363686.1363856.
  4. Fevzi Belli, Axel Hollmann & Sascha Padberg (2011): Model-Based Integration Testing with Communication Sequence Graphs. In: Justyna Zander et al.: Model-based testing for embedded systems, Computational analysis, synthesis, and design of dynamic systems. CRC Press, Boca Raton, doi:10.1201/b11321-10.
  5. Paul E. Black, Vadim Okun & Y. Yesha (2000): Mutation operators for specifications. In: ASE 2000 15th IEEE International Automated Software Engineering Conference, pp. 81–88, doi:10.1109/ASE.2000.873653.
  6. Harald Cichos & Thomas S. Heinze (2011): Efficient Reduction of Model-Based Generated Test Suites Through Test Case Pair Prioritization. In: Proceedings of the 7th International Workshop on Model-Driven Engineering, Verification and Validation. IEEE Computer Society Press, Los Alamitos, pp. 37–42, doi:10.1007/978-3-642-21210-9_24.
  7. Harald Cichos, Malte Lochau, Sebastian Oster & Andy Schürr (2012): Reduktion von Testsuiten für Software-Produktlinien. In: Stefan Jähnichen et al.: Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin, LNI 198. GI, pp. 143–154.
  8. Paul Clements & Linda Northrop (2009): Software product lines: Practices and patterns, 7. print edition, The SEI series in software engineering. Addison-Wesley, Boston Mass. u.a.
  9. Krzysztof Czarnecki & Michal Antkiewicz (2005): Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Robert Glück: Generative programming and component engineering, Lecture Notes in Computer Science 3676. Springer, Berlin [u.a.], pp. 422–437, doi:10.1007/11561347_28,.
  10. Richard A. DeMillo (1980): Mutation Analysis as a Tool for Software Quality Assurance. In: COMPSAC'80.
  11. Emelie Engström & Per Runeson (2011): Software product line testing – A systematic mapping study. Information and Software Technology 53(1), pp. 2–13, doi:10.1016/j.infsof.2010.05.011.
  12. Sandra C. P. F. Fabbri, M. E. Delamaro, J. C. Maldonado & P. C. Masiero (1994): Mutation analysis testing for finite state machines. In: 1994 IEEE International Symposium on Software Reliability Engineering, pp. 220–229, doi:10.1109/ISSRE.1994.341378.
  13. Iris Groher & Markus Voelter (2007): Expressing Feature-Based Variability in Structural Models. In: Workshop on Managing Variability for Software Product Lines. Available at
  14. Hans Grönniger, Holger Krahn, Claas Pinkernell & Bernhard Rumpe (2008): Modeling Variants of Automotive Systems using Views. In: Thomas Kühne, Wolfgang Reisig & Friedrich Steimann: Tagungsband zur Modellierung 2008 (Berlin-Adlershof, Deutschland, 12-14. März 2008), LNI. Gesellschaft für Informatik, Bonn. Available at
  15. Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein & Yves Le Traon (2013): Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. In: ICSTW '13: IEEE 6th International Conference On Software Testing, Verification and Validation Workshops 2013, pp. 188–197, doi:10.1109/ICSTW.2013.30.
  16. Yue Jia & Mark Harman (2009): Higher Order Mutation Testing. Inf. Softw. Technol. 51(10), pp. 1379–1393, doi:10.1016/j.infsof.2009.04.016.
  17. Yue Jia & Mark Harman (2011): An Analysis and Survey of the Development of Mutation Testing. IEEE Transactions on Software Engineering 37(5), pp. 649–678, doi:10.1109/TSE.2010.62.
  18. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak & A. S. Peterson (1990): Feature-Oriented Domain Analysis (FODA) Feasibility Study. Available at
  19. S. Kim, John A. Clark & J. A. Mcdermid (2000): Class Mutation: Mutation Testing for Object-Oriented Programs. In: FMES.
  20. Hartmut Lackner, Martin Thomas, Florian Wartenberg & Stephan Weißleder (2014): Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level. In: ICST' 14: International Conference on Software Testing, Verification, and Validation, pp. 51–60, doi:10.1109/ICST.2014.16.
  21. Malte Lochau, Ina Schaefer, Jochen Kamischke & Sascha Lity (2012): Incremental Model-Based Testing of Delta-Oriented Software Product Lines. In: David Hutchison et al.: Tests and Proofs, Lecture Notes in Computer Science 7305. Springer Berlin Heidelberg, Berlin and Heidelberg, pp. 67–82, doi:10.1007/978-3-642-30473-6_7.
  22. Object Management Group (OMG) (2011): UML 2.4.1 Superstructure Specification.
  23. Jeff Offutt (1992): Investigations of the Software Testing Coupling Effect. ACM Trans. Softw. Eng. Methodol. 1(1), pp. 5–20, doi:10.1145/125489.125473.
  24. Jeff Offutt, Shaoying Liu, Aynur Abdurazik & Paul Ammann (2003): Generating test data from state-based specifications. The Journal of Software Testing, Verification and Reliability 13, pp. 25–53, doi:10.1002/stvr.264.
  25. Jeff Offutt, Shaoying Liu, Aynur Abdurazik & Paul Ammann (2003): Generating test data from state-based specifications. The Journal of Software Testing, Verification and Reliability 13, pp. 25–53, doi:10.1002/stvr.264.
  26. Jeff Offutt & Roland H. Untch (2001): Mutation 2000: Uniting the Orthogonal. In: W.Eric Wong: Mutation Testing for the New Century, The Springer International Series on Advances in Database Systems 24. Springer US, pp. 34–44, doi:10.1007/978-1-4757-5939-6_7.
  27. 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.
  28. Sebastian Oster, Ivan Zorcic, Florian Markert & Malte Lochau (2011): MoSo-PoLiTe: tool support for pairwise and model-based software product line testing. In: VaMoS '11, pp. 79–82, doi:10.1145/1944892.1944901.
  29. Klaus Pohl, Günter Böckle & Linden, Frank J. van der (2005): Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc, Secaucus and NJ and USA, doi:10.1007/3-540-28901-1.
  30. Ina Schaefer (2010): Variability Modelling for Model-Driven Development of Software Product Lines Systems, Linz, Austria, January 27-29, 2010. Proceedings. In: D. Benavides, D. Batory & P. Grünbacher: Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings, ICB-Research Report 37. Universität Duisburg-Essen, pp. 85–92.
  31. Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer & Sebastian von Klinski (2013): Refactorings in Language Development with Asymmetric Bidirectional Model Transformations. In: Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi & Rick Reed: SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings, Lecture Notes in Computer Science 7916. Springer, pp. 222–238, doi:10.1007/978-3-642-38911-5_13.
  32. Zoë Stephenson, Yuan Zhan, John Clark & John McDermid (2004): Test Data Generation for Product Lines - A Mutation Testing Approach. In: Birgit Geppert et al.: SPLiT '04: Proceedings of the International Workshop on Software Product Line Testing, Boston and MA, pp. 13–18.
  33. Stephan Weißleder (2009): Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation. In: David Hutchison et al.: Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science 5795. Springer Berlin Heidelberg, Berlin and Heidelberg, pp. 211–225, doi:10.1007/978-3-642-04425-0_16.
  34. M. R. Woodward (1993): Errors in algebraic specifications and an experimental mutation testing tool. Software Engineering Journal 8(4), pp. 211, doi:10.1049/sej.1993.0027.

Comments and questions to:
For website issues: