21. TestCom 9. FATES 2009:
Eindhoven,
The Netherlands
Manuel Núñez, Paul Baker, Mercedes G. Merayo (Eds.):
Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings.
Lecture Notes in Computer Science 5826 Springer 2009, ISBN 978-3-642-05030-5
Regular Papers
- Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni:
Testing Real-Time Systems Using TINA.
1-15
- Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
16-32
- Gregor von Bochmann, Guy-Vincent Jourdan:
Testing k-Safe Petri Nets.
33-48
- Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
Implementing MSC Tests with Quiescence Observation.
49-65
- Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal:
Testing Timed Finite State Machines with Guaranteed Fault Coverage.
66-80
- Qiang Guo, John Derrick, Neil Walkinshaw:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.
81-96
- Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen:
Interaction Coverage Meets Path Coverage by SMT Constraint Solving.
97-112
- Hervé Marchand, Jérémy Dubreil, Thierry Jéron:
Automatic Testing of Access Control for Security Properties.
113-128
- Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States.
129-145
- Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap:
An Approach for Test Selection for EFSMs Using a Theorem Prover.
146-162
- Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li:
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.
163-178
- Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker:
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
179-194
- Benjamin Zeiss, Jens Grabowski:
Analyzing Response Inconsistencies in Test Suites.
195-210
Short Papers
- Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes:
Model-Based Testing of Web Applications Using NModel.
211-216
- Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Observability and Controllability Issues in Conformance Testing of Web Service Compositions.
217-222
- Roland Gecse:
Towards Automatic Generation of a Coherent TTCN-3 Template Framework.
223-228
- Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo:
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.
229-234
- Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld:
Debugging into Examples.
235-240
- Kristóf Szabados:
Structural Analysis of Large TTCN-3 Projects.
241-246
Copyright © Sat Nov 21 00:42:19 2009
by Michael Ley (ley@uni-trier.de)