A Study of the Relationship between Usability and Test Cases Precedence Based on a Formal Model for Activity Diagrams. - Pedro J. Lara Bercial; Juan José Escribano Otero; Luis Fernández Sanz; José Ramón Hilera (Software Engineering Research and Practice, 2005)