IFIP TC6 Open Digital Library

17. TestCom 2005: Montreal, Canada

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

Ferhat Khendek, Rachida Dssouli

Springer, Lecture Notes in Computer Science 3502, ISBN: 3-540-26054-4


The Epistemology of Validation and Verification Testing.

T. S. E. Maibaum


Passive Testing - A Constrained Invariant Checking Approach.

Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli


Dependence Testing: Extending Data Flow Testing with Control Dependence.

Hyoung Seok Hong, Hasan Ural


Comparing Bug Finding Tools with Reviews and Tests.

Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger


Cross-Language Functional Testing for Middleware.

Arno Puder, Limei Wang


Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.

Huaizhong Li, Chiou Peng Lam


Action Refinement in Conformance Testing.

Machiel van der Bijl, Arend Rensink, Jan Tretmans


Multiplexing of Partially Ordered Events.

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko


Testing Communicating Systems: a Model, a Methodology, and a Tool.

Ismail Berrada, Richard Castanet, Patrick Félix


Coping with Nondeterminism in Network Protocol Testing.

Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao


Eliminating Redundant Tests in a Checking Sequence.

Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün


On FSM-Based Fault Diagnosis.

Zoltán Pap, Gyula Csopaki, Sarolta Dibuz


State Identification Problems for Timed Automata.

Moez Krichen, Stavros Tripakis


Timing Fault Models for Systems with Multiple Timers.

M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko


An Expressive and Implementable Formal Framework for Testing Real-Time Systems.

Moez Krichen, Stavros Tripakis


Firewall Conformance Testing.

Diana Senn, David A. Basin, Germano Caronni


Test Generation for Interaction Detection in Feature-Rich Communication Systems.

Caixia Chi, Ruibing Hao


Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.

Keqin Li 0002, David Lee


Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.

Jung Youp Lee, Seok Won Jung, Jongin Lim


From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.

Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din


Using TTCN-3 for Testing Platform Independent Models.

Gabor Batori, Domonkos Asztalos


Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.

Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho


A Model-Based Approach for Robustness Testing.

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon


Content-Level Conformance Testing: An Information Mapping Case Study.

Boonserm Kulvatunyou, Nenad Ivezic, Albert Jones


Quiescence Management Improves Interoperability Testing.

Alexandra Desmoulin, César Viho