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