19. TestCom 7. FATES 2007:
Tallinn,
Estonia
Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (Eds.):
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings.
Lecture Notes in Computer Science 4581 Springer 2007, ISBN 978-3-540-73065-1 
- Antti Huima:
Implementing Conformiq Qtronic.
1-12
- 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
- David Cebrián, Valentín Valero Ruiz, Fernando Cuartero:
Automation of Avionic Systems Testing.
28-40
- Camille Constant, Bertrand Jeannet, Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications.
41-57
- Alexandra Desmoulin, César Viho:
A New Method for Interoperability Test Generation.
58-73
- Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson:
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.
74-89
- Alain Faivre, Christophe Gaston, Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems.
90-106
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications.
107-122
- Cyril Grepet, Stéphane Maag:
Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols.
123-137
- Maxim Gromov, Tim A. C. Willemse:
Testing and Model-Checking Techniques for Diagnosis.
138-154
- László Gönczy, Reiko Heckel, Dániel Varró:
Model-Based Testing of Service Infrastructure Components.
155-170
- Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata.
171-185
- Tamás Horváth, Tibor Sulyán:
A Framework for Testing AIS Implementations.
186-198
- 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
- Vesa Luukkala, Ian Oliver:
Model Based Testing of an Embedded Session and Transport Protocol.
212-227
- Helmut Neukirchen, Martin Bisanz:
Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites.
228-243
- 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
- Przemyslaw Plesowicz, Mieczyslaw Metzger:
Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control.
260-275
- Sebastian Schmerl, Hartmut König:
Towards Systematic Signature Testing.
276-291
- Stephan Schulz, Anthony Wiles, Steve Randall:
TPLan-A Notation for Expressing Test Purposes.
292-304
- Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko:
Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.
305-318
- Muzammil Shahbaz, Keqin Li, Roland Groz:
Learning and Integration of Parameterized Components Through Testing.
319-334
- Hasan Ural, Zhi Xu:
An EFSM-Based Passive Fault Detection Approach.
335-350
- Diana Vega, Ina Schieferdecker, George Din:
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.
351-364
- Sergey V. Zelenov, Sophia A. Zelenova:
Model-Based Testing of Optimizing Compilers.
365-377
Last update Tue Feb 14 04:09:40 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
