Detecting and resolving semantic pathologies in UML sequence diagrams
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-13
Simon Burton
David King
Bill Mitchell
Robert Thomson
Clive Jervis
Paul Baker