Conferences in DBLP

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

1. T. S. E. Maibaum
   The Epistemology of Validation and Verification Testing. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:1-8 [Conf]
   
2. Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli
   Passive Testing - A Constrained Invariant Checking Approach. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:9-22 [Conf]
   
3. Hyoung Seok Hong, Hasan Ural
   Dependence Testing: Extending Data Flow Testing with Control Dependence. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:23-39 [Conf]
   
4. Stefan Wagner, Jan Jürjens, Claudia Koller, Peter Trischberger
   Comparing Bug Finding Tools with Reviews and Tests. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:40-55 [Conf]
   
5. Arno Puder, Limei Wang
   Cross-Language Functional Testing for Middleware. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:56-68 [Conf]
   
6. Huaizhong Li, Chiou Peng Lam
   Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:69-80 [Conf]
   
7. Machiel van der Bijl, Arend Rensink, Jan Tretmans
   Action Refinement in Conformance Testing. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:81-96 [Conf]
   
8. Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
   Multiplexing of Partially Ordered Events. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:97-110 [Conf]
   
9. Ismail Berrada, Richard Castanet, Patrick Félix
   Testing Communicating Systems: a Model, a Methodology, and a Tool. [Citation Graph (0, 0)][DBLP]
   TestCom, 2005, pp:111-128 [Conf]
   
10. Raymond E. Miller, Dongluo Chen, David Lee, Ruibing Hao
    Coping with Nondeterminism in Network Protocol Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:129-145 [Conf]
    
11. Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
    Eliminating Redundant Tests in a Checking Sequence. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:146-158 [Conf]
    
12. Zoltán Pap, Gyula Csopaki, Sarolta Dibuz
    On FSM-Based Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:159-174 [Conf]
    
13. Moez Krichen, Stavros Tripakis
    State Identification Problems for Timed Automata. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:175-191 [Conf]
    
14. M. Ümit Uyar, Yu Wang, Samrat S. Batth, Adriana Wise, Mariusz A. Fecko
    Timing Fault Models for Systems with Multiple Timers. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:192-208 [Conf]
    
15. Moez Krichen, Stavros Tripakis
    An Expressive and Implementable Formal Framework for Testing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:209-225 [Conf]
    
16. Diana Senn, David A. Basin, Germano Caronni
    Firewall Conformance Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:226-241 [Conf]
    
17. Caixia Chi, Ruibing Hao
    Test Generation for Interaction Detection in Feature-Rich Communication Systems. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:242-257 [Conf]
    
18. Keqin Li 0002, David Lee
    Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:258-274 [Conf]
    
19. Jung Youp Lee, Seok Won Jung, Jongin Lim
    Detecting Trapdoors in Smart Cards Using Timing and Power Analysis. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:275-288 [Conf]
    
20. Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din
    From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:289-303 [Conf]
    
21. Gabor Batori, Domonkos Asztalos
    Using TTCN-3 for Testing Platform Independent Models. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:304-317 [Conf]
    
22. Annie Floch, Frédéric Roudaut, Ariel Sabiguero, César Viho
    Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:318-332 [Conf]
    
23. Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
    A Model-Based Approach for Robustness Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:333-348 [Conf]
    
24. Boonserm Kulvatunyou, Nenad Ivezic, Albert Jones
    Content-Level Conformance Testing: An Information Mapping Case Study. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:349-364 [Conf]
    
25. Alexandra Desmoulin, César Viho
    Quiescence Management Improves Interoperability Testing. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:365-379 [Conf]