18. TestCom 2006: New York, NY, USA
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko
Springer, Lecture Notes in Computer Science 3964, ISBN: 3-540-34184-6
Contents
Session I: Testing Theory and Foundations
Symbolic Execution Techniques for Test Purpose Definition.
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
1-18
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
39-54
Session II: Testing Non-deterministic and Probabilistic Systems
LaTe, a Non-fully Deterministic Testing Language.
Emmanuel de Rosière, Claude Jard, Benoit Parreaux
71-86
Customized Testing for Probabilistic Systems.
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
87-102
Session III: Testing Internet and Industrial Systems
Generating Test Cases for Web Services Using Extended Finite State Machine.
ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
103-117
Towards the Testing of Composed Web Services in 3rd Generation Networks.
Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani
118-133
Application of Two Test Generation Tools to an Industrial Case Study.
Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
134-148
Session IV: TTCN-3
Performance Analysis of Concurrent PCOs in TTCN-3.
Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki
149-160
Session V: Compositional and Distributed Testing
Session VI: FSM-Based Testing and Diagnosis
Using Distinguishing and UIO Sequences Together in a Checking Sequence.
M. Cihan Yalcin, Hüsnü Yenigün
259-273
Session VII: Timed Systems
Test Case Minimization for Real-Time Systems Using Timed Bound Traces.
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
289-305
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.
Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian
324-340
Session VIII: Testing for Security
Test Generation for Network Security Rules.
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
341-356
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.
Guoqiang Shu, David Lee
357-372