Abstract is missing.
- Implementing Conformiq QtronicAntti Huima. 1-12 [doi]
- New Approach for EFSM-Based Passive Testing of Web ServicesAbdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho. 13-27 [doi]
- Automation of Avionic Systems TestingDavid Cebrián, Valentín Valero Ruiz, Fernando Cuartero. 28-40 [doi]
- Automatic Test Generation from Interprocedural SpecificationsCamille Constant, Bertrand Jeannet, Thierry Jéron. 41-57 [doi]
- A New Method for Interoperability Test GenerationAlexandra Desmoulin, César Viho. 58-73 [doi]
- Component Testing Is Not Enough - A Study of Software Faults in Telecom MiddlewareSigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson. 74-89 [doi]
- Symbolic Model Based Testing for Component Oriented SystemsAlain Faivre, Christophe Gaston, Pascale Le Gall. 90-106 [doi]
- A Compositional Testing Framework Driven by Partial SpecificationsYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. 107-122 [doi]
- Nodes Self-similarity to Test Wireless Ad Hoc Routing ProtocolsCyril Grepet, Stéphane Maag. 123-137 [doi]
- Testing and Model-Checking Techniques for DiagnosisMaxim Gromov, Tim A. C. Willemse. 138-154 [doi]
- Model-Based Testing of Service Infrastructure ComponentsLászló Gönczy, Reiko Heckel, Dániel Varró. 155-170 [doi]
- Testing Input/Output Partial Order AutomataStefan Haar, Claude Jard, Guy-Vincent Jourdan. 171-185 [doi]
- A Framework for Testing AIS ImplementationsTamás Horváth, Tibor Sulyán. 186-198 [doi]
- An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile PhonesLuiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos. 199-211 [doi]
- Model Based Testing of an Embedded Session and Transport ProtocolVesa Luukkala, Ian Oliver. 212-227 [doi]
- Utilising Code Smells to Detect Quality Problems in TTCN-3 Test SuitesHelmut Neukirchen, Martin Bisanz. 228-243 [doi]
- A Bounded Incremental Test Generation Algorithm for Finite State MachinesZoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh. 244-259 [doi]
- Experimental Testing of TCP/IP/Ethernet Communication for Automatic ControlPrzemyslaw Plesowicz, Mieczyslaw Metzger. 260-275 [doi]
- Towards Systematic Signature TestingSebastian Schmerl, Hartmut König. 276-291 [doi]
- TPLan-A Notation for Expressing Test PurposesStephan Schulz, Anthony Wiles, Steve Randall. 292-304 [doi]
- Testing Nondeterministic Finite State Machines with Respect to the Separability RelationNatalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko. 305-318 [doi]
- Learning and Integration of Parameterized Components Through TestingMuzammil Shahbaz, Keqin Li, Roland Groz. 319-334 [doi]
- An EFSM-Based Passive Fault Detection ApproachHasan Ural, Zhi Xu. 335-350 [doi]
- Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3Diana Vega, Ina Schieferdecker, George Din. 351-364 [doi]
- Model-Based Testing of Optimizing CompilersSergey V. Zelenov, Sophia A. Zelenova. 365-377 [doi]