1. [1] Belli, F. and Budnik, C.J.: Test minimization for human-computer interaction, Journal of Applied Intelligence, Vol.26, No.2, pp.161-174, Springer (2007).
2. [2] Belli, F., Güler, N. and Linschulte, M.: Does Depth Really Matter? On the Role of Model Refinement for Testing and Reliability, IEEE 35th Annual Computer Software and Applications Conference, COMPSAC 2011, pp.630-639 (2011).
3. [3] Belli, F., Güler, N. and Linschulte, M.: Are longer test sequences always better? A Reliability Theoretical Analysis, 4th IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, pp.78-85 (2010).
4. [4] Mathur, A.P.: Foundations of software testing, Addison-Wesley Longman (2008).
5. [5] Binder, R.V.: Testing object-oriented systems: models, patterns, and tools, Addison-Wesley Longman Publishing Co., Inc. (2008).