The package de.retest.guistatemachine.model contains model definitions based on the thesis by Furrer.
Currently, the REST service uses custom case classes.
Clarify, how the actual model looks like/should look like and adapt traits/classes in the model package.
Remove the case classes for the REST service afterwards.
The Furrer model is invalid. Specify the model by debugging the application.
The package
de.retest.guistatemachine.model
contains model definitions based on the thesis by Furrer. Currently, the REST service uses custom case classes. Clarify, how the actual model looks like/should look like and adapt traits/classes in themodel
package. Remove the case classes for the REST service afterwards.The Furrer model is invalid. Specify the model by debugging the application.
RootElements from https://mvnrepository.com/artifact/de.retest/retest-model identify a state. A Selenium API Action identifies an action/transition.