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


Regular Papers

Testing Real-Time Systems Using TINA.

Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni


A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.

Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi


Testing k-Safe Petri Nets.

Gregor von Bochmann, Guy-Vincent Jourdan


Implementing MSC Tests with Quiescence Observation.

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich


Testing Timed Finite State Machines with Guaranteed Fault Coverage.

Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal


Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs.

Qiang Guo, John Derrick, Neil Walkinshaw


Interaction Coverage Meets Path Coverage by SMT Constraint Solving.

Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen


Automatic Testing of Access Control for Security Properties.

Hervé Marchand, Jérémy Dubreil, Thierry Jéron


Generating Reduced Tests for FSMs with Extra States.

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko


An Approach for Test Selection for EFSMs Using a Theorem Prover.

Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap


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


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


Analyzing Response Inconsistencies in Test Suites.

Benjamin Zeiss, Jens Grabowski


Short Papers

Model-Based Testing of Web Applications Using NModel.

Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes


Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli


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

Roland Gecse


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

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


Debugging into Examples.

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


Structural Analysis of Large TTCN-3 Projects.

Kristóf Szabados