The Role of Model-Based Testing

1. Blackburn, M., Busser, R., Nauman, A.: Why model-based test automation is different and what you should know to get started. In: International Conference on Practical Software Quality and Testing (2004), http://www.psqtconference.com/2004east/program.php

2. Belinfante, A., Frantzen, L., Schallhart, C.: Tools for Test Case Generation. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 391–438. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

3. Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A.: Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)

   MATH  Google Scholar 

4. Brucker, A., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 16–32. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

5. Dijkstra, E.W.: On the reliability of mechanisms. In: Notes On Structured Programming, EWD249 (1970), http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF

6. El-Far, I.K., Whittaker, J.A.: Model-based software testing. In: John, J. (ed.) Encyclopedia of Software Engineering, vol. 1, pp. 825–837. Wiley-InterScience, Chichester (2002)

   Google Scholar 

7. Legeard, B., Peureux, F., Utting, M.: Controlling Test Case Explosion in Test Generation from B Formal Models. The Journal of Software Testing, Verification and Reliability 14(2), 81–103 (2004)

   Article  Google Scholar 

8. Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines — A survey. Proceedings of the IEEE 84(2), 1090–1126 (1996)

   Article  Google Scholar 

9. Mills, H.D.: Zero defect software: Cleanroom engineering. Advances in Computers 36, 1–41 (1993)

   Article  Google Scholar 

10. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kauffman, San Francisco (2006)

    Google Scholar 

11. Vedula, V.M., Townsend, W.J., Abraham, J.A.: Program slicing for ATPG-based property checking. In: 17th International Conference on VLSI Design, Mumbai, India, 2004, January 5-9, 2004, pp. 591–596. IEEE Computer Society Press, Los Alamitos (2004)

    Chapter  Google Scholar 

Download references