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



Contents

Implementing Conformiq Qtronic.

Antti Huima

 1-12

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

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

 13-27

Automation of Avionic Systems Testing.

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

 28-40

Automatic Test Generation from Interprocedural Specifications.

Camille Constant, Bertrand Jeannet, Thierry Jéron

 41-57

A New Method for Interoperability Test Generation.

Alexandra Desmoulin, César Viho

 58-73

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

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

 74-89

Symbolic Model Based Testing for Component Oriented Systems.

Alain Faivre, Christophe Gaston, Pascale Le Gall

 90-106

A Compositional Testing Framework Driven by Partial Specifications.

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

 107-122

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

Cyril Grepet, Stéphane Maag

 123-137

Testing and Model-Checking Techniques for Diagnosis.

Maxim Gromov, Tim A. C. Willemse

 138-154

Model-Based Testing of Service Infrastructure Components.

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

 155-170

Testing Input/Output Partial Order Automata.

Stefan Haar, Claude Jard, Guy-Vincent Jourdan

 171-185

A Framework for Testing AIS Implementations.

Tamás Horváth, Tibor Sulyán

 186-198

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

 199-211

Model Based Testing of an Embedded Session and Transport Protocol.

Vesa Luukkala, Ian Oliver

 212-227

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

Helmut Neukirchen, Martin Bisanz

 228-243

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

 244-259

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

Przemyslaw Plesowicz, Mieczyslaw Metzger

 260-275

Towards Systematic Signature Testing.

Sebastian Schmerl, Hartmut König

 276-291

TPLan-A Notation for Expressing Test Purposes.

Stephan Schulz, Anthony Wiles, Steve Randall

 292-304

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

Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko

 305-318

Learning and Integration of Parameterized Components Through Testing.

Muzammil Shahbaz, Keqin Li 0002, Roland Groz

 319-334

An EFSM-Based Passive Fault Detection Approach.

Hasan Ural, Zhi Xu

 335-350

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

Diana Vega, Ina Schieferdecker, George Din

 351-364

Model-Based Testing of Optimizing Compilers.

Sergey V. Zelenov, Sophia A. Zelenova

 365-377