IFIP TC6 Open Digital Library

21. TestCom 9. FATES 2009: Eindhoven, The Netherlands

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

Testing k-Safe Petri Nets.

Gregor von Bochmann, Guy-Vincent Jourdan

 33-48

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

Analyzing Response Inconsistencies in Test Suites.

Benjamin Zeiss, Jens Grabowski

 195-210

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

Towards Automatic Generation of a Coherent TTCN-3 Template Framework.

Roland Gecse

 223-228

OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.

Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo

 229-234

Debugging into Examples.

Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld

 235-240

Structural Analysis of Large TTCN-3 Projects.

Kristóf Szabados

 241-246