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
Manuel Núñez, Paul Baker, Mercedes G. Merayo
Springer, Lecture Notes in Computer Science 5826, ISBN: 978-3-642-05030-5
Contents
Regular Papers
Testing Real-Time Systems Using TINA.
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
1-15
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
16-32
Implementing MSC Tests with Quiescence Observation.
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
49-65
Testing Timed Finite State Machines with Guaranteed Fault Coverage.
Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
66-80
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.
Qiang Guo, John Derrick, Neil Walkinshaw
81-96
Interaction Coverage Meets Path Coverage by SMT Constraint Solving.
Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen
97-112
Automatic Testing of Access Control for Security Properties.
Hervé Marchand, Jérémy Dubreil, Thierry Jéron
113-128
Generating Reduced Tests for FSMs with Extra States.
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
129-145
An Approach for Test Selection for EFSMs Using a Theorem Prover.
Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap
146-162
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.
Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li
163-178
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
179-194
Short Papers
Model-Based Testing of Web Applications Using NModel.
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
211-216
Observability and Controllability Issues in Conformance Testing of Web Service Compositions.
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli
217-222
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.
Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo
229-234
Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld
235-240