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