Testing: findamenti e tecniche

• Testing Object-Oriented Systems: Models, Patterns, and Tools
  Autore: Binder, Robert V.
  Editore: Addison Wesley, 1999
• How to Break Software - A Practical Guide to Testing
  Autore: Whittaker, James A.
  Editore: Addison Wesley, 2003
• Practical Software Testing
  Autore: Burnstein, Ilene
  Editore: Springer Verlag, 2003
• Software Fault Injection: Inoculating Programs Against Errors
  Autore: Voas, Jeffrey M.; McGraw, Gary
  Editore: Wiley & Sons, 1998
• Craft of Software Testing, The: Subsystems Testing Including Object-Based and Object-Oriented Testing
  Autore: Marick, Brian
  Editore: Prentice Hall PTR, 1994
• Automated Software Testing: Introduction, Management, and Performance
  Autore: Dustin, Elfriede; Rashka, Jeff; Paul, John
  Editore: Addison Wesley, 1999
• C++ Software Quality Tools
  Autore: Murphy, Mark L.
  Editore: Prentice Hall PTR, 1996

Quality in the software development life-cycle

• Code Complete
  Autore: McConnell, Steve
  Editore: Microsoft Press, 1993
• Writing Solid Code
  Autore: Maguire, Steve
  Editore: Microsoft Press, 1993
• Debugging the Development Process
  Autore: Maguire, Steve
  Editore: Microsoft Press, 1994

Debugging

• Debugging Windows Programs: Strategies, Tools, and Techniques for Visual C++ Programmers
  Autore: McKay, Everett N.; Woodring, Mike
  Editore: Addison Wesley Develop Mentor Series, 2000
• Debugging Applications
  Autore: Robbins, John
  Editore: Microsoft Press, 2000

Progettazione per Contratti (Design by Contract)

• Design by Contract, by Example
  Autore: Mitchell, Richard; McKim, Jim
  Editore: Addison Wesley, 2002
• Object-Oriented Software Construction, 2/E
  Autore: Meyer, Bertrand
  Editore: Prentice-Hall, 1997