University of Surrey

Test tubes in the lab Research in the ATI Dance Research

A model checking based test case generation framework for web services

Zheng, Y, Zhou, J, Krause, P and Latifi, S (2007) A model checking based test case generation framework for web services In: 4th International Conference on Information Technology - New Generations, 2007-04-02 - 2007-04-04, Las Vegas, NV.

[img]
Preview
PDF
fulltext.pdf

Download (213kB)
Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
AuthorsEmail
Zheng, YUNSPECIFIED
Zhou, JUNSPECIFIED
Krause, PUNSPECIFIED
Latifi, SUNSPECIFIED
Date : 1 January 2007
Contributors :
ContributionNameEmail
PublisherIEEE COMPUTER SOC, UNSPECIFIED
Uncontrolled Keywords : Science & Technology, Technology, Computer Science, Artificial Intelligence, Computer Science, Information Systems, Computer Science, Software Engineering, Imaging Science & Photographic Technology, Telecommunications, Computer Science
Related URLs :
Depositing User : Mr Adam Field
Date Deposited : 27 May 2010 14:46
Last Modified : 17 Jan 2015 14:51
URI: http://epubs.surrey.ac.uk/id/eprint/1988

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year


Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800