Generating interaction test cases for mobile phone systems from use case specifications
UML-Based integration testing