SPADE - A Test Framework for SOAP Analysis in Dynamic Environments.

Morten Avlesen, Skage Spjelkavik, Bjrn Vik, Frank T. Johnsen, Trude Hafse Bloebaum

Browse the full WEBIST paper archive.