Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.

Boutheina Bannour, Christophe Gaston, David Servat

Browse the full APSEC paper archive.