Path-based Testing is a common technique to test System Under Test (SUT) processes. Generally, a directed graph that models a system’s workflow is input to the test path generation process, as well as ...