Model checking of message sequence charts. proc, of the Tenth International Conference on Concurrency Theory, 1999. ,
Component-Based Product-Line Engineering with the UML, 2002. ,
DOI : 10.1007/3-540-46020-9_34
A UML-Based Approach to System Testing. proc, 2001. ,
Design Patterns: Elements of Reusable Object-Oriented Software, 1995. ,
UML-Based Integration Testing. proc, of the ACM Sigsoft International Symposium on Software Testing and Analysis, 2000. ,
UMLAUT: an extendible UML transformation framework. proc, of the Automated Software Engineering (ASE'99), (Florida, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00072886
Principles of Distributed Test Synthesis based on True-concurrency Models. proc, 2002. ,
Test generation derived from model checking. proc, of the Computer Aided Verification (CAV'99) ,
A UML-integrated test description language for component testing. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00794311
Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, pp.103-115, 1996. ,