Author:
CAVALLI Ana,Ionescu Melania
Publisher
Springer Science and Business Media LLC
Subject
Electrical and Electronic Engineering
Reference30 articles.
1. Clatin (M.), Groz (R.), Phalippou (M.), Thummel (R.). Two approaches linking a test generation tool with verification techniques. In A. Cavalli and S. Budkowski editors,Proceedings of iwpts’95 (8th Int. Workshop on Protocol Test Systems, INT, Évry, France, (September 1995).
2. Fernandez (J. -C),Jard (C),Jeron (T.),Viho (C). An experiment in automatic generation of test Suites for protocols with verification technology.Science of Computer Programming,29, (1997).
3. Grabowski (J.),Hogrefe (D.),Scheurerand (R.),Dai (Z. R.). Applying samstag to the b-isdn Protocol sscop. In M. Kim, S. Kang and K. Hong editors.Proceedings of iwcts’97 (10th Int. Workshop on Testing of Communicating Systems, Korea), (September 1997).
4. ***Cinderella sdl product description, http :// www.cinderella.dk
5. Bourhfir (C),Dssouli (R.),Aboulhamid (E. M.),Rico (N.). A test case generation tool for conformance testing of sdl systems. In R. Dssouli, G. V. Bochmann and Y. Lahav editors,Proceedings of SDL ’99, Elsevier, (June 1999).