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