Test case generation from BPMN models for automated testing of Web-based BPM applications
Benefits and limitations of automated software testing: systematic literature review and practitioner survey