Test case generation from BPMN models for automated testing of Web-based BPM applications
business process management : a comprehensive survey .