Mass Soldal Lund, Ketil Stølen. Deriving Tests from UML 2.0 Sequence Diagrams with neg and assert. In Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li, editors, Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23-23, 2006. pages 22-28, ACM, 2006. [doi]
Abstract is missing.