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
Contents
Passive Testing - A Constrained Invariant Checking Approach.
Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli
9-22
Dependence Testing: Extending Data Flow Testing with Control Dependence.
Hyoung Seok Hong, Hasan Ural
23-39
Comparing Bug Finding Tools with Reviews and Tests.
Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
40-55
Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.
Huaizhong Li, Chiou Peng Lam
69-80
Multiplexing of Partially Ordered Events.
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
97-110
Testing Communicating Systems: a Model, a Methodology, and a Tool.
Ismail Berrada, Richard Castanet, Patrick Félix
111-128
Coping with Nondeterminism in Network Protocol Testing.
Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
129-145
Eliminating Redundant Tests in a Checking Sequence.
Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
146-158
Timing Fault Models for Systems with Multiple Timers.
M. Ümit Uyar, Yu Wang 0012, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko
192-208
An Expressive and Implementable Formal Framework for Testing Real-Time Systems.
Moez Krichen, Stavros Tripakis
209-225
Test Generation for Interaction Detection in Feature-Rich Communication Systems.
Caixia Chi, Ruibing Hao
242-257
Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.
Keqin Li 0002, David Lee
258-274
Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.
Jung Youp Lee, Seok Won Jung, Jongin Lim
275-288
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing.
Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din
289-303
Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.
Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho
318-332
A Model-Based Approach for Robustness Testing.
Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
333-348
Content-Level Conformance Testing: An Information Mapping Case Study.
Boonserm Kulvatunyou, Nenad Ivezic, Albert Jones
349-364