ICST 2014 Release

Betsy is a tool to check the degree of conformance of a BPEL engine against the BPEL standard. In this release, betsy was extended to vbetsy which supports the use of virtualization techniques to speed up the overall testing time for the paper "Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL Engines" which was presented at the 7th International Conference on Software Testing, Verification and Validation in the Testing Tools Track. A preprint version of the paper is available here .