Subsidies for the Application of State Machine Based Test Case Generation Methods
Implementing a module for selecting test cases for Plavis/FSM tool
Investigating the Improvement of Test Suite Generation Methods from Models
Input/output transition systems: support to test case generation
Investigation of finite state machine based testing applied to web services