Evaluating the effectiveness of the abstract transaction model in testing Web services transactions. (30th May 2012)