default search action
17. TestCom 2005: Montreal, Canada
- Ferhat Khendek, Rachida Dssouli:
Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Lecture Notes in Computer Science 3502, Springer 2005, ISBN 3-540-26054-4 - 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
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
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
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 T. Jones:
Content-Level Conformance Testing: An Information Mapping Case Study. 349-364 - Alexandra Desmoulin, César Viho:
Quiescence Management Improves Interoperability Testing. 365-379
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-03 23:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: