TESTCOM/FATES'09
November 2-4 2009, Eindhoven, the Netherlands
TESTCOM/FATES 2009: Program
Monday, Nov. 2
Session I: Industrial Track Papers (Monday, Nov. 2, 11:40 – 13:00)
Chair Session I: Andreas Ulrich
- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G networks (regular) by 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 (regular) by Sebastian Wieczorek, Andreas Roth, Vitaly Kozyura, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
- Model-Based Testing of Web Applications using NModel (short) by Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
Session II: Automatic Test Generation and Selection (Monday, Nov. 2, 14:10 – 15:30)
Chair Session II: Alexandre Petrenko
- Automatic Testing of Access Control for Security Properties (regular) by Hervé Marchand, Thierry Jéron, Jérémy Dubreil
- An Approach for Test Selection for EFSMs Using a Theorem Prover (regular) by Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltan Pap
- OConGraX - automatically generating data-flow test cases for fault-tolerant systems (short) by Paulo Nunes, Simone Hanazumi, Ana de Melo
PC meeting (Monday, Nov. 2, 16:00 – 17:30)
Tuesday, Nov. 3
Invited Talk (Tuesday, Nov. 3, 10:00 – 11:00)
Chair Invited Speaker: Manuel Núñez
- Wolfgang Grieskamp
Session III: Formal Aspects (Tuesday, Nov. 3, 11:30 – 13:00)
Chair Session III: Nina Yevtushenko
- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems (regular) by Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
- Implementing MSC Tests with Quiescence Observation (regular) by Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
- Interaction Coverage meets Path Coverage by SMT Constraint Solving (regular) by Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra Cohen
Session IV: Conformance Testing (Tuesday, Nov. 3, 14:10 – 15:30)
Chair Session IV: Fatiha Zaïdi
- Testing Real-time Systems Using TINA (regular) by Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Rahmouni
- Testing k-Safe Petri Nets (regular) by Gregor Bochmann, Guy-Vincent Jourdan
- Observability and Controllability Issues in Conformance Testing of Web Service Composition (short) by Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Cavalli
Session V: Practical Applications (Tuesday, Nov. 3, 16:00 – 17:30)
Chair Session V: Ana Cavalli
- Analyzing Response Inconsistencies in Test Suites (regular) by Benjamin Zeiss, Jens Grabowski
- Towards Automatic Generation of a Coherent TTCN-3 Template Framework (short) by Roland Gecse
- Debugging into Examples - Leveraging Tests for Program Comprehension (short) by Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld
- Structural Analyzis of Large TTCN-3 Projects (short) by Kristóf Szabados
Conference dinner (Tuesday, Nov. 3, 20:00 – ...)
Wednesday, Nov. 4
Invited Talk (together with Testdag, Wednesday, Nov. 4, 10:00 – 11:00)
- Ed Brinksma
Session VI: Fault and Structural Coverage (Wednesday, Nov. 4, 11:30 – 13:00)
Chair Session VI: Gordon Fraser
- Testing Timed Finite State Machines with Guaranteed Fault Coverage (regular) by Khaled El-Fakih, Nina Yevtushenko, Hacene Fouchal
- Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs (regular) by Qiang Guo, John Derrick, Neil Walkinshaw
- Generating Reduced Tests for FSMs with Extra States (regular) by Adenilso Simao, Alexandre Petrenko, Nina Yevtushenko