17. TestCom 7. FATES 2007: Tallinn, Estonia

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