1. M. Averstegge, M. Winter, Structural and functional predicate coverage testing, in: Proceedings of the 3rd World Congress for Software Quality (WCSQ) 2005, 2005, pp. 1–12.
2. Model-Driven Testing: Using the UML Testing Profile;Baker,2008
3. Encyclopedia of Software Engineering;Basili,1994
4. F. Belli, C.J. Budnik, A. Hollmann, A holistic approach to testing of interactive systems using statecharts, in: Proceedings of the 2nd South-East European Workshop on Formal Methods (SEEFM05), 2005, pp. 59–73.
5. Event-based modelling, analysis and testing of user interactions: approach and case study;Belli;Software Testing, Verification and Reliability,2006