Information Technology Reference
In-Depth Information
10. http://portal.etsi.org/mbs/Testing/conformance/conformance.asp
11. Hayes, I.J.: Specification directed module testing. IEEE Transactions on Software Engineer-
ing, SE-12(1):124-133 (1986), See also the 2006 revision
http://www.itee.uq.edu.au/ ianh/Papers/spectest.pdf
12. Helke, S., Neustupny, T., Santen, T.: Automating test case generation from Z specifications
with Isabelle. In: Till, D., Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1997. LNCS, vol. 1212,
pp. 52-71. Springer, Heidelberg (1997)
13. H orcher, H.-M., Peleska, J.: The role of formal specifications in software testing. In: Naftalin,
M., Bertran, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, Springer, Heidelberg (1994)
14. H orcher, H.-M.: Improving software tests using Z specifications. In: Bowen, J.P., Hinchey,
M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 152-166. Springer, Heidelberg (1995)
15. H orcher, H.-M., Peleska, J.: Using formal specifications to support software testing. Software
Quality Journal 4, 309-327 (1995)
16. Kohl, J., Rogers, P.: Watir Works. Better Software, 40-45 (April 2005)
17. Krishnan, P.: Uniform descriptions for model based testing. In: Proceedings of the 2004
Australian Software Engineering Conference (ASWEC'04), IEEE, Los Alamitos (2004),
http://epublications.bond.edu.au/infotech pubs/8
18. Li, D., Aichernig, B.K.: Automatic Test Case Generation for RAISE. Technical Report 273,
UNU-IIST, P.O.Box 3058, Macao (January 2003)
19. Mikk, E.: Compilation of Z specifications into C for automatic test result evaluation. In:
Bowen, J.P., Hinchey, M.G. (eds.) ZUM 1995. LNCS, vol. 967, pp. 167-180. Springer, Hei-
delberg (1995)
20. The RAISE Languager Group.: The RAISE Specification Language. BCS Practitioner Series.
Prentice Hall, Englewood Cliffs (1992)
21. The RAISE Method Group.: The RAISE Development Method. BCS Practitioner Series.
Prentice Hall, Englewood Cliffs (1995), available by ftp from ftp://ftp.iist.unu.
edu/pub/RAISE/method book
22. Stocks, P.A.: Applying Formal Methods to Software Testing. PhD thesis, Department of
Computer Science, The University of Queensland, St. Lucia 4072, Australia (1993)
23. Stocks, P.A., Carrington, D.A.: A Framework for Specification-based Testing. IEEE Trans-
actions in Software Engineering 22(11), 777-793 (1996)
24. Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Meers-
man, R., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2004: CoopIS, DOA,
and ODBASE. LNCS, vol. 3291, pp. 21-40. Springer, Heidelberg (2004)
25. Utting, M.: Position paper: model-based testing. Verified Software: Theories, Tools, Experi-
ments. ETH Zurich, IFIP WG 2.3 (2005)
26. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-
Kaufmann, San Francisco (2007)
 
Search WWH ::




Custom Search