Verify Enterprise System Implementation through Business Process Model-Based Test Suite Generation | IEEE Conference Publication | IEEE Xplore