default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21. TestCom 9. FATES 2009: Eindhoven, The Netherlands
- 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
Regular Papers
- Noureddine Adjir, Pierre de Saqui-Sannes
, Mustapha Kamel Rahmouni:
Testing Real-Time Systems Using TINA. 1-15 - Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. 16-32 - Gregor von Bochmann, Guy-Vincent Jourdan:
Testing k-Safe Petri Nets. 33-48 - Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
Implementing MSC Tests with Quiescence Observation. 49-65 - Khaled El-Fakih, Nina Yevtushenko, Hacène Fouchal:
Testing Timed Finite State Machines with Guaranteed Fault Coverage. 66-80 - Qiang Guo, John Derrick, Neil Walkinshaw:
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. 81-96 - Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen:
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. 97-112 - Hervé Marchand, Jérémy Dubreil, Thierry Jéron:
Automatic Testing of Access Control for Security Properties. 113-128 - Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States. 129-145 - Mahadevan Subramaniam, Ling Xiao, Bo Guo, Zoltán Pap:
An Approach for Test Selection for EFSMs Using a Theorem Prover. 146-162 - 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. 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. 179-194 - Benjamin Zeiss, Jens Grabowski:
Analyzing Response Inconsistencies in Test Suites. 195-210
Short Papers
- Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes:
Model-Based Testing of Web Applications Using NModel. 211-216 - Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli:
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. 217-222 - Roland Gecse:
Towards Automatic Generation of a Coherent TTCN-3 Template Framework. 223-228 - Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo:
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. 229-234 - Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld:
Debugging into Examples. 235-240 - Kristóf Szabados:
Structural Analysis of Large TTCN-3 Projects. 241-246
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-31 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
