Improving Evidence about Software Technologies: A Look at Model-Based Testing, IEEE Software, vol.25, issue.3, pp.10-13, 2008. ,
DOI : 10.1109/MS.2008.64
Comparing UML 2.0 Interactions and MSC-2000, SAM 2004: SDL and MSC Fourth International Workshop, pp.69-84, 2004. ,
DOI : 10.1007/978-3-540-31810-1_5
Implementing MSC Tests with Quiescence Observation, TestCom 2009, pp.235-238, 2009. ,
DOI : 10.1016/S0950-5849(99)00036-1
Introducing Model-Based Testing Techniques in Industrial Projects. GI-Edition, Proc. Bd.106, pp.29-34, 2007. ,
Automatic Generation of Conformance Tests from Message Sequence Charts, SAM 2002: SDL and MSC Fourth International Workshop, pp.170-198, 2003. ,
DOI : 10.1007/3-540-36573-7_12
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
Test suite consistency verification, Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), pp.235-238, 2008. ,
DOI : 10.1109/EWDTS.2008.5580145
SDL and MSC Based Test Generation for Distributed Test Architectures, SDL Forum'99, pp.389-404, 1999. ,
DOI : 10.1016/B978-044450228-5/50026-6
Lazy Buffer Demantics for Partial Order Scenarios Automated Software Engineering, pp.419-441, 2007. ,
Design tools for requirements engineering, Bell Labs Technical Journal, vol.2, issue.1, pp.86-95, 1997. ,
DOI : 10.1002/bltj.2034
Generating Implementations from Formal Specifications: A Translator from Promela to Java, 2002. ,
The SpinJ Model Checker ,