A rigorous and practical approach to service testing
Loe M. G. Feijs, Marc Jumelet · 1996
We present an approach for the systematic development of abstract test cases for service testing. The approach is rigorous in the sense that the abstract test cases are derived from a rigorous specification. The approach is practical in the sense that it contains guidelines for choosing amongst the many possible execution paths. The method has been developed in practice. Tools are used for interactive simulation and for certain translation steps.