1134 search results - page 29 / 227 » Composing Tests from Examples |
SAFECOMP
2007
Springer
15 years 5 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...
FORTE
1996
15 years 9 days ago
1996
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speci cation and analysis of distributed systems. This pre-order com...
ET
1998
14 years 10 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
SIGDOC
2000
ACM
15 years 3 months ago
2000
ACM
∗ This paper introduces low-tech simulation as a technique for testing procedures and their documentation. The key idea is to test the interface-procedure-documentation set in th...
IEEESCC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—In SOA applications are built from individual services offered by different providers. Typically an application comprises of several such services usually stemming from ...