Abstract is missing.
- Testing Real-Time Systems Using TINANoureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni. 1-15 [doi]
- A Formal Framework for Service Orchestration Testing Based on Symbolic Transition SystemsLina Bentakouk, Pascal Poizat, Fatiha Zaïdi. 16-32 [doi]
- Testing ::::k::::-Safe Petri NetsGregor von Bochmann, Guy-Vincent Jourdan. 33-48 [doi]
- Implementing MSC Tests with Quiescence ObservationSergiy Boroday, Alexandre Petrenko, Andreas Ulrich. 49-65 [doi]
- Testing Timed Finite State Machines with Guaranteed Fault CoverageKhaled El-Fakih, Nina Yevtushenko, Hacène Fouchal. 66-80 [doi]
- Applying Testability Transformations to Achieve Structural Coverage of Erlang ProgramsQiang Guo, John Derrick, Neil Walkinshaw. 81-96 [doi]
- Interaction Coverage Meets Path Coverage by SMT Constraint SolvingWolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen. 97-112 [doi]
- Automatic Testing of Access Control for Security PropertiesHervé Marchand, Jérémy Dubreil, Thierry Jéron. 113-128 [doi]
- Generating Reduced Tests for FSMs with Extra StatesAdenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko. 129-145 [doi]
- An Approach for Test Selection for EFSMs Using a Theorem ProverMahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap. 146-162 [doi]
- TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G NetworksZhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li. 163-178 [doi]
- Applying Model Checking to Generate Model-Based Integration Tests from Choreography ModelsSebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker. 179-194 [doi]
- Analyzing Response Inconsistencies in Test SuitesBenjamin Zeiss, Jens Grabowski. 195-210 [doi]
- Model-Based Testing of Web Applications Using NModelJuhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes. 211-216 [doi]
- Observability and Controllability Issues in Conformance Testing of Web Service CompositionsJose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli. 217-222 [doi]
- Towards Automatic Generation of a Coherent TTCN-3 Template FrameworkRoland Gecse. 223-228 [doi]
- OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant SystemsPaulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo. 229-234 [doi]
- Debugging into ExamplesBastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld. 235-240 [doi]
- Structural Analysis of Large TTCN-3 ProjectsKristóf Szabados. 241-246 [doi]