Using UML Sequence Diagrams as the Basis for a Formal Test Description Language.

Simon Pickin, Jean-Marc Jzquel

Browse the full IFM paper archive.