Bibliografia

Principal

  • Software Testing: A Craftsman's Approach, 4th edition. : Paul Jorgensen 2013 Auerbach Publications
  • Handbook of Model Checking : E. Clarke, T. Henzinger, H. Veith 2014 Springer
  • Testing Object-Oriented Systems: Models, Patterns, and Tools : Robert V. Binder 2000 Addison-Wesley

Secundária

Não foi definida bibliografia secundária