17. TestCom 2005: Montreal, Canada

• T. S. E. Maibaum:
  The Epistemology of Validation and Verification Testing. 1-8
  
• Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli:
  Passive Testing - A Constrained Invariant Checking Approach. 9-22
  
• Hyoung Seok Hong, Hasan Ural:
  Dependence Testing: Extending Data Flow Testing with Control Dependence. 23-39
  
• Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger:
  Comparing Bug Finding Tools with Reviews and Tests. 40-55
  
• Arno Puder, Limei Wang:
  Cross-Language Functional Testing for Middleware. 56-68
  
• Huaizhong Li, Chiou Peng Lam:
  Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams. 69-80
  
• Machiel van der Bijl, Arend Rensink, Jan Tretmans:
  Action Refinement in Conformance Testing. 81-96
  
• Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko:
  Multiplexing of Partially Ordered Events. 97-110
  
• Ismail Berrada, Richard Castanet, Patrick Félix:
  Testing Communicating Systems: a Model, a Methodology, and a Tool. 111-128
  
• Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao:
  Coping with Nondeterminism in Network Protocol Testing. 129-145
  
• Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün:
  Eliminating Redundant Tests in a Checking Sequence. 146-158
  
• Zoltán Pap, Gyula Csopaki, Sarolta Dibuz:
  On FSM-Based Fault Diagnosis. 159-174
  
• Moez Krichen, Stavros Tripakis:
  State Identification Problems for Timed Automata. 175-191
  
• M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko:
  Timing Fault Models for Systems with Multiple Timers. 192-208
  
• Moez Krichen, Stavros Tripakis:
  An Expressive and Implementable Formal Framework for Testing Real-Time Systems. 209-225
  
• Diana Senn, David A. Basin, Germano Caronni:
  Firewall Conformance Testing. 226-241
  
• Caixia Chi, Ruibing Hao:
  Test Generation for Interaction Detection in Feature-Rich Communication Systems. 242-257
  
• Keqin Li, David Lee:
  Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. 258-274
  
• Jung Youp Lee, Seok Won Jung, Jongin Lim:
  Detecting Trapdoors in Smart Cards Using Timing and Power Analysis. 275-288
  
• Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din:
  From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. 289-303
  
• Gabor Batori, Domonkos Asztalos:
  Using TTCN-3 for Testing Platform Independent Models. 304-317
  
• Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho:
  Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing. 318-332
  
• Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon:
  A Model-Based Approach for Robustness Testing. 333-348
  
• Boonserm Kulvatunyou, Nenad Ivezic, Albert Jones:
  Content-Level Conformance Testing: An Information Mapping Case Study. 349-364
  
• Alexandra Desmoulin, César Viho:
  Quiescence Management Improves Interoperability Testing. 365-379