IFIP TC6 Open Digital Library

19. TestCom 7. FATES 2007: Tallinn, Estonia

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

Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp

Springer, Lecture Notes in Computer Science 4581, ISBN: 978-3-540-73065-1


Implementing Conformiq Qtronic.

Antti Huima


New Approach for EFSM-Based Passive Testing of Web Services.

Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho


Automation of Avionic Systems Testing.

David Cebrián, Valentín Valero Ruiz, Fernando Cuartero


Automatic Test Generation from Interprocedural Specifications.

Camille Constant, Bertrand Jeannet, Thierry Jéron


A New Method for Interoperability Test Generation.

Alexandra Desmoulin, César Viho


Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware.

Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson


Symbolic Model Based Testing for Component Oriented Systems.

Alain Faivre, Christophe Gaston, Pascale Le Gall


A Compositional Testing Framework Driven by Partial Specifications.

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier


Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols.

Cyril Grepet, Stéphane Maag


Testing and Model-Checking Techniques for Diagnosis.

Maxim Gromov, Tim A. C. Willemse


Model-Based Testing of Service Infrastructure Components.

László Gönczy, Reiko Heckel, Dániel Varró


Testing Input/Output Partial Order Automata.

Stefan Haar, Claude Jard, Guy-Vincent Jourdan


A Framework for Testing AIS Implementations.

Tamás Horváth, Tibor Sulyán


An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones.

Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos


Model Based Testing of an Embedded Session and Transport Protocol.

Vesa Luukkala, Ian Oliver


Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites.

Helmut Neukirchen, Martin Bisanz


A Bounded Incremental Test Generation Algorithm for Finite State Machines.

Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh


Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control.

Przemyslaw Plesowicz, Mieczyslaw Metzger


Towards Systematic Signature Testing.

Sebastian Schmerl, Hartmut König


TPLan-A Notation for Expressing Test Purposes.

Stephan Schulz, Anthony Wiles, Steve Randall


Testing Nondeterministic Finite State Machines with Respect to the Separability Relation.

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko


Learning and Integration of Parameterized Components Through Testing.

Muzammil Shahbaz, Keqin Li 0002, Roland Groz


An EFSM-Based Passive Fault Detection Approach.

Hasan Ural, Zhi Xu


Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.

Diana Vega, Ina Schieferdecker, George Din


Model-Based Testing of Optimizing Compilers.

Sergey V. Zelenov, Sophia A. Zelenova