Conferences in DBLP

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

1. Claude Jard, Thierry Jéron, Pierre Morel
   Verification of Test Suites. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:3-18 [Conf]
   
2. Daniel Amyot, Luigi Logrippo
   Structural Coverage For LOTOS - a Probe Insertion Technique. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:19-34 [Conf]
   
3. Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko
   Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:35-0 [Conf]
   
4. Alan W. Williams
   Determination of Test Configurations for Pair-Wise Interaction Coverage. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:59-74 [Conf]
   
5. Ina Schieferdecker, Mang Li, Axel Rennoch
   Incremental Testing at System Reference Points. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:75-90 [Conf]
   
6. Ali Y. Duale, M. Ümit Uyar
   Generation of Feasible Test Sequences for EFSM Models. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:91-0 [Conf]
   
7. Tibor Csöndes, Sarolta Dibuz, Péter Krémer
   Experiments on IPv6 Testing. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:113-126 [Conf]
   
8. Jiwon Ryu, Myungchul Kim, Sungwon Kang, Soonuk Seol
   Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:127-142 [Conf]
   
9. Toshihiko Kato, Tomohiko Ogishi, Hiroyuki Shinbo, Yutaka Miyake, Akira Idoue, Kenji Suzuki
   Interoperability Testing System of TCP/IP Based Systems in Operational Environment. [Citation Graph (0, 0)][DBLP]
   TestCom, 2000, pp:143-0 [Conf]
   
10. Jens Grabowski, Anthony Wiles, Colin Willcock, Dieter Hogrefe
    On the Design of the New Testing Language TTCN-3. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:161-176 [Conf]
    
11. Roland Gecse, Péter Krémer, János Zoltán Szabó
    HTTP Performance Evaluation with TTCN. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:177-192 [Conf]
    
12. Alexey Mednonogov, Hannu Kari, Olli Martikainen, Jari Malinen
    Conformance Testing of CORBA Services Using TTCN. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:193-0 [Conf]
    
13. Lex Heerink, Jan Feenstra, Jan Tretmans
    Formal Test Automation: The Conference Protocol with PHACT. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:211-220 [Conf]
    
14. Lydie du Bousquet, Solofo Ramangalahy, Séverine Simon, César Viho, Axel Belinfante, René G. de Vries
    Formal Test Automation: The Conference Protocol with TGV/TORX. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:221-228 [Conf]
    
15. Endre Horváth, Axel Manthey
    Functional Testing GPRS Support Nodes Using TTCN. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:229-238 [Conf]
    
16. Giulio Maggiore, Silvio Valeau, José Pons
    The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:239-0 [Conf]
    
17. Alexandre Petrenko, Andreas Ulrich
    Verification and Testing of Concurrent Systems with Action Races. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:261-280 [Conf]
    
18. Ahmed Khoumsi, Mehdi Akalay, Rachida Dssouli, Abdeslam En-Nouaary, Louis Granger
    An Approach for Testing Real Time Protocol Entities. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:281-300 [Conf]
    
19. Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale
    Test Generation in the Presence of Conflicting Timers. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:301-0 [Conf]