Author:
Corro Ramos Isaac,Di Bucchianico Alessandro,Hakobyan Lusine,van Hee Kees
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Andrews, A., Offutt, J., Alexander, R.: Testing web applications by modeling with FSMs. Softw. Syst. Model 4(3), 326–345 (2005)
2. Belli, F., Budnik, C., White, L.: Event-based modelling, analysis and testing of user interactions: approach and case study. Software Testing, Verification and Reliability 16(1), 3–32 (2006)
3. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387–405 (1991)
4. Brinksma, E.: A theory for the derivation of tests. In: van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.) The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project, pp. 235–247. Elsevier Science Publishers, North-Holland (1989)
5. Brinksma, E., Tretmans, J.: Testing transition systems: an annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M., et al. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001)