A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams. - Mourad Badri; Linda Badri; Marius Naha (FATES, 2003)