Test Coverage Analysis of UML Activity Diagrams for Interactive Systems | IEEE Conference Publication | IEEE Xplore