Conferences in DBLP

International Conference on Testing Communicating Systems (TestCom) (pts)
2007 (conf/pts/2007)

1. Antti Huima
   Implementing Conformiq Qtronic. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:1-12 [Conf]
   
2. Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Abdeslam En-Nouaary, Roch H. Glitho
   New Approach for EFSM-Based Passive Testing of Web Services. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:13-27 [Conf]
   
3. David Cebrián, Valentín Valero Ruiz, Fernando Cuartero
   Automation of Avionic Systems Testing. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:28-40 [Conf]
   
4. Camille Constant, Bertrand Jeannet, Thierry Jéron
   Automatic Test Generation from Interprocedural Specifications. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:41-57 [Conf]
   
5. Alexandra Desmoulin, César Viho
   A New Method for Interoperability Test Generation. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:58-73 [Conf]
   
6. Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson
   Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:74-89 [Conf]
   
7. Alain Faivre, Christophe Gaston, Pascale Le Gall
   Symbolic Model Based Testing for Component Oriented Systems. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:90-106 [Conf]
   
8. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
   A Compositional Testing Framework Driven by Partial Specifications. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:107-122 [Conf]
   
9. Cyril Grepet, Stéphane Maag
   Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:123-137 [Conf]
   
10. Maxim Gromov, Tim A. C. Willemse
    Testing and Model-Checking Techniques for Diagnosis. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:138-154 [Conf]
    
11. László Gönczy, Reiko Heckel, Dániel Varró
    Model-Based Testing of Service Infrastructure Components. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:155-170 [Conf]
    
12. Stefan Haar, Claude Jard, Guy-Vincent Jourdan
    Testing Input/Output Partial Order Automata. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:171-185 [Conf]
    
13. Tamás Horváth, Tibor Sulyán
    A Framework for Testing AIS Implementations. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:186-198 [Conf]
    
14. Luiz Kawakami, André Knabben, Douglas Rechia, Denise Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos
    An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:199-211 [Conf]
    
15. Vesa Luukkala, Ian Oliver
    Model Based Testing of an Embedded Session and Transport Protocol. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:212-227 [Conf]
    
16. Helmut Neukirchen, Martin Bisanz
    Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:228-243 [Conf]
    
17. Zoltán Pap, Mahadevan Subramaniam, Gábor Kovács, Gábor Árpád Németh
    A Bounded Incremental Test Generation Algorithm for Finite State Machines. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:244-259 [Conf]
    
18. Przemyslaw Plesowicz, Mieczyslaw Metzger
    Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:260-275 [Conf]
    
19. Sebastian Schmerl, Hartmut König
    Towards Systematic Signature Testing. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:276-291 [Conf]
    
20. Stephan Schulz, Anthony Wiles, Steve Randall
    TPLan-A Notation for Expressing Test Purposes. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:292-304 [Conf]
    
21. Natalia Shabaldina, Khaled El-Fakih, Nina Yevtushenko
    Testing Nondeterministic Finite State Machines with Respect to the Separability Relation. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:305-318 [Conf]
    
22. Muzammil Shahbaz, Keqin Li 0002, Roland Groz
    Learning and Integration of Parameterized Components Through Testing. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:319-334 [Conf]
    
23. Hasan Ural, Zhi Xu
    An EFSM-Based Passive Fault Detection Approach. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:335-350 [Conf]
    
24. Diana Vega, Ina Schieferdecker, George Din
    Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:351-364 [Conf]
    
25. Sergey V. Zelenov, Sophia A. Zelenova
    Model-Based Testing of Optimizing Compilers. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:365-377 [Conf]