TestCom/FATES

Keyphrases

Publications

2009

Gregor von Bochmann, Guy-Vincent Jourdan
-Safe Petri Nets. TestCom/FATES (2009)
Kristóf Szabados
Structural Analysis of Large TTCN-3 Projects. TestCom/FATES (2009)
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)
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
Model-Based Testing of Web Applications Using NModel. TestCom/FATES (2009)
Roland Gecse
Towards Automatic Generation of a Coherent TTCN-3 Template Framework. TestCom/FATES (2009)
Hervé Marchand, Jérémy Dubreil, Thierry Jéron
Automatic Testing of Access Control for Security Properties. TestCom/FATES (2009)
Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES (2009)
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)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Implementing MSC Tests with Quiescence Observation. TestCom/FATES (2009)
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)
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni
Testing Real-Time Systems Using TINA. TestCom/FATES (2009)
Qiang Guo, John Derrick, Neil Walkinshaw
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. TestCom/FATES (2009)
Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap
An Approach for Test Selection for EFSMs Using a Theorem Prover. TestCom/FATES (2009)
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)
Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld
Debugging into Examples. TestCom/FATES (2009)
Benjamin Zeiss, Jens Grabowski
Analyzing Response Inconsistencies in Test Suites. TestCom/FATES (2009)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES (2009)
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES (2009)
Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal
Testing Timed Finite State Machines with Guaranteed Fault Coverage. TestCom/FATES (2009)

volume 5826, 2009

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 TestCom/FATES 5826 (2009)

2008

volume 5047, 2008

Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings TestCom/FATES 5047 (2008)

2007

volume 4581, 2007

Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings TestCom/FATES 4581 (2007)