Calculating BPEL Test Coverage Through Instrumentation. - Daniel Lübke; Leif Singer; Alex Salnikow (AST@ICSE, 2009)