In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally. Such formal definitions can help in the automatic checking and verification for them. It can also help in the automatic test case generation, execution and...

Many modern application development frameworks separate presentation logic and business logic into layers. However, current model-based GUI testing tools do not model and test presentation logic and business logic separately. This paper proposes to separate business logic from the GUI behaviour...