TestCom

Keyphrases

Publications

2006

Ralf Lämmel, Wolfram Schulte
Controllable Combinatorial Coverage in Grammar-Based Testing. TestCom (2006)
Florentin Ipate
Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom (2006)
Jessica Chen, Hasan Ural
Detecting Observability Problems in Distributed Testing. TestCom (2006)
Emmanuel de Rosière, Claude Jard, Benoit Parreaux
LaTe, a Non-fully Deterministic Testing Language. TestCom (2006)
Guoqiang Shu, David Lee
Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. TestCom (2006)
Reinhard Gotzhein, Ferhat Khendek
Compositional Testing of Communication Systems. TestCom (2006)
Mahadevan Subramaniam, Zoltán Pap
Analyzing the Impact of Protocol Changes on Tests. TestCom (2006)
Andreas Johan Nyberg
Use of TTCN-3 for Software Module Testing. TestCom (2006)
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
Symbolic Execution Techniques for Test Purpose Definition. TestCom (2006)
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez
Customized Testing for Probabilistic Systems. TestCom (2006)
Zhiliang Wang, Jianping Wu, Xia Yin, Xingang Shi, Beihang Tian
Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems. TestCom (2006)
George Din, Sorin Tolea, Ina Schieferdecker
Distributed Load Tests with TTCN-3. TestCom (2006)
Rachid Bouaziz, Ousmane Koné
Symbolic and on the Fly Testing with Real-Time Observers. TestCom (2006)
Ismael Rodríguez, Mercedes G. Merayo, Manuel Núñez
A Logic for Assessing Sets of Heterogeneous Testing Hypotheses. TestCom (2006)
Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener
Application of Two Test Generation Tools to an Industrial Case Study. TestCom (2006)
ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi
Generating Test Cases for Web Services Using Extended Finite State Machine. TestCom (2006)
Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah
Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom (2006)
M. Cihan Yalcin, Hüsnü Yenigün
Using Distinguishing and UIO Sequences Together in a Checking Sequence. TestCom (2006)
Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
FSM Test Translation Through Context. TestCom (2006)
Hasan Ural, Fan Zhang
Reducing the Lengths of Checking Sequences by Overlapping. TestCom (2006)
Abdelghani Benharref, Rachida Dssouli, Roch H. Glitho, Mohamed Adel Serhani
Generation Networks. TestCom (2006)
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. TestCom (2006)
Máté J. Csorba, Sándor Palugyai, Sarolta Dibuz, Gyula Csopaki
Performance Analysis of Concurrent PCOs in TTCN-3. TestCom (2006)

volume 3964, 2006

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings TestCom 3964 (2006)

2005

volume 3502, 2005

Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings TestCom 3502 (2005)