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
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
Automatic Test Generation from Interprocedural Specifications.
Camille Constant, Bertrand Jeannet, Thierry Jéron
41-57
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
Model-Based Testing of Service Infrastructure Components.
László Gönczy, Reiko Heckel, Dániel Varró
155-170
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
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
Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3.
Diana Vega, Ina Schieferdecker, George Din
351-364