Bücher, in denen wsesentliche Ansätze beschrieben werden

• [AO97] K. R. Apt, E.-R. Olderog, Verification of Sequential and Concurrent Programs, 2. Auflage, Springer, New York Berlin Heidelberg, 1997
  
• [CES86] E.M. Clarke, E.A. Emerson, A.P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, 8(2), Seiten 244-263, April 1986
  
• [Hoa69] C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, Nr. 12, Seiten 576-583, 1969
  
• [Hof08] D. W. Hoffmann, Software-Qualität, Springer-Verlag, Berlin Heidelberg,2008
  
• [HT05] A. Hunt, D.Thomas, Pragmatisch Programmieren: Unit-Tests mit JUnit, Hanser, München, Wien, 2005
  
• [Kle09] S. Kleuker, Formale Modelle der Softwareentwicklung, Vieweg+Teubner, Wiesbaden, 2009
  
• [Kle09b] S. Kleuker, Qualitätsorientierte Analyse von Modellierungsansätzen. In H. Schröder, F.Zimmermann (Hrsg.), Tagungsband zum ersten Elmshorner Wirtschaftsinformatiktag 2009, Seiten 61-70, Shaker, Aachen, 2009
  
• [Kle11] S. Kleuker, Grundkurs Software-Engineering mit UML, 2. Auflage, Vieweg+Teubner, Wiesbaden, 2011
  
• [Köh07] A. Köhler, C/C++ Projektbegleiter: C/C++ Projekte planen, dokumentieren, bauen und testen, 1. Auflage Dpunkt Verlag, Heidelberg, 2007
  
• [Lig02] P. Liggesmeyer, Software-Qualität. Testen, Analysieren und Verifizieren von Software, Spektrum Akademischer Verlag, Heidelberg Berlin Oxford, 2002
  
• [Lin05] J. Link, Softwaretests mit JUnit, 2. Auflage, dpunkt, Heidelberg, 2005
  
• [SL10] A. Spillner, T. Linz, Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified Tester - Foundation Level nach ISTQB-Standard, 4. Auflage, dpunkt Verlag, Heidelberg, 2010
  
• [SW02] H. M. Sneed, M. Winter, Testen objektorientierter Software, Hanser, München Wien, 2002