IFIP TC6 Open Digital Library

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


Session I: Testing Theory and Foundations

Symbolic Execution Techniques for Test Purpose Definition.

Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil


Controllable Combinatorial Coverage in Grammar-Based Testing.

Ralf Lämmel, Wolfram Schulte


A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.

Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez


Session II: Testing Non-deterministic and Probabilistic Systems

Bounded Sequence Testing from Non-deterministic Finite State Machines.

Florentin Ipate


LaTe, a Non-fully Deterministic Testing Language.

Emmanuel de Rosière, Claude Jard, Benoit Parreaux


Customized Testing for Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez


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


Towards the Testing of Composed Web Services in 3rd Generation Networks.

Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani


Application of Two Test Generation Tools to an Industrial Case Study.

Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener


Session IV: TTCN-3

Performance Analysis of Concurrent PCOs in TTCN-3.

Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki


Use of TTCN-3 for Software Module Testing.

Andreas Johan Nyberg


Distributed Load Tests with TTCN-3.

George Din, Sorin Tolea, Ina Schieferdecker


Session V: Compositional and Distributed Testing

Analyzing the Impact of Protocol Changes on Tests.

Mahadevan Subramaniam, Zoltán Pap


Detecting Observability Problems in Distributed Testing.

Jessica Chen, Hasan Ural


Compositional Testing of Communication Systems.

Reinhard Gotzhein, Ferhat Khendek


Session VI: FSM-Based Testing and Diagnosis

FSM Test Translation Through Context.

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko


Using Distinguishing and UIO Sequences Together in a Checking Sequence.

M. Cihan Yalcin, Hüsnü Yenigün


Reducing the Lengths of Checking Sequences by Overlapping.

Hasan Ural, Fan Zhang


Session VII: Timed Systems

Test Case Minimization for Real-Time Systems Using Timed Bound Traces.

Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah


Symbolic and on the Fly Testing with Real-Time Observers.

Rachid Bouaziz, Ousmane Koné


Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems.

Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian


Session VIII: Testing for Security

Test Generation for Network Security Rules.

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier


Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.

Guoqiang Shu, David Lee