M. Shaban Jokhio Gillian Dobbie Jing Sun Towards Specification Based Testing for Semantic Web Services. 54-63 2009 Australian Software Engineering Conference http://dx.doi.org/10.1109/ASWEC.2009.38 conf/aswec/2009 db/conf/aswec/aswec2009.html#JokhioDS09