- 2009
- Noureddine Adjir, Pierre de Saqui-Sannes
, Mustapha Kamel Rahmouni:
Testing Real-Time Systems Using TINA. TestCom/FATES 2009: 1-15 - Lina Bentakouk, Pascal Poizat
, Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32 - Gregor von Bochmann, Guy-Vincent Jourdan:
Testing k-Safe Petri Nets. TestCom/FATES 2009: 33-48 - Sergiy Boroday, Alexandre Petrenko
, Andreas Ulrich:
Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65 - Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
:
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES 2009: 66-80 - Juhan P. Ernits
, Rivo Roo, Jonathan Jacky, Margus Veanes:
Model-Based Testing of Web Applications Using NModel. TestCom/FATES 2009: 211-216 - Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall
, Ana R. Cavalli:
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. TestCom/FATES 2009: 217-222 - Roland Gecse:
Towards Automatic Generation of a Coherent TTCN-3 Template Framework. TestCom/FATES 2009: 223-228 - Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen:
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES 2009: 97-112 - Qiang Guo, John Derrick
, Neil Walkinshaw
:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES 2009: 81-96 - Hervé Marchand, Jérémy Dubreil, Thierry Jéron
:
Automatic Testing of Access Control for Security Properties. TestCom/FATES 2009: 113-128 - Paulo R. F. Nunes, Simone Hanazumi
, Ana Cristina Vieira de Melo:
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. TestCom/FATES 2009: 229-234 - Adenilso da Silva Simão
, Alexandre Petrenko
, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145 - Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld:
Debugging into Examples. TestCom/FATES 2009: 235-240 - Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap:
An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES 2009: 146-162 - Kristóf Szabados
:
Structural Analysis of Large TTCN-3 Projects. TestCom/FATES 2009: 241-246 - 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. TestCom/FATES 2009: 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. TestCom/FATES 2009: 179-194 - Benjamin Zeiss, Jens Grabowski:
Analyzing Response Inconsistencies in Test Suites. TestCom/FATES 2009: 195-210 - Manuel Núñez, Paul Baker, Mercedes G. Merayo:
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 [contents] - 2008
- Paul Baker:
Models and Testing - A Recipe for Improved Effectiveness?. TestCom/FATES 2008: 5-6 - Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
:
Model-Based Generation of Testbeds for Web Services. TestCom/FATES 2008: 266-282 - Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 - Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118 - Jens R. Calamé, Jaco van de Pol:
Applying Model-Based Testing to HTML Rendering Engines - A Case Study. TestCom/FATES 2008: 250-265 - Thao Dang, Tarik Nahhal:
Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES 2008: 54-69 - George Din, Ina Schieferdecker, Razvan Petre:
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. TestCom/FATES 2008: 135-152 - Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199 - Jürgen Großmann, Ina Schieferdecker, Hans-Werner Wiesbrock:
Modeling Property Based Stream Templates with TTCN-3. TestCom/FATES 2008: 70-85 - Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233