Improving the coverage criteria of UML state machines using data flow analysis

Lionel C. Briand, Yvan Labiche, Q. Lin. Improving the coverage criteria of UML state machines using data flow analysis. Softw. Test., Verif. Reliab., 20(3):177-207, 2010. [doi]

Abstract

Abstract is missing.