EPTCS 98 - WWV 2012
Josep Silva, Francesco Tiezzi (Eds.): Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems. 2012 EPTCS 98 [ contents ]
Leonidas Lampropoulos, Konstantinos F. Sagonas: Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services. ... 3-16
Jesús Manuel Almendros-Jiménez, Luis Iribarne: Model Validation in Ontology Based Transformations. ... 17-30
James Smith: The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming. ... 31-45

Irum Rauf, Ali Hanzala Khan, Ivan Porres: Analyzing Consistency of Behavioral REST Web Service Interfaces. ... 77-92



