SPADE - A Test Framework for SOAP Analysis in Dynamic Environments. - Morten Avlesen; Skage Spjelkavik; Bjørn Vik; Frank T. Johnsen; Trude Hafsøe Bloebaum (WEBIST, 2013)