SOCA 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 used to determine both the robustness capabilities and the static analysis conformance of BPEL engines. Both papers are presented at the 7th IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2014).