The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. All-IP Based Ultra 3G Network/Service Development in a Competitive Market. [Citation Graph (, )][DBLP]

  2. Models and Testing - A Recipe for Improved Effectiveness?. [Citation Graph (, )][DBLP]

  3. Runtime Verification of C Programs. [Citation Graph (, )][DBLP]

  4. Test Construction for Mathematical Functions. [Citation Graph (, )][DBLP]

  5. Model-Based Testing Service on the Web. [Citation Graph (, )][DBLP]

  6. Using Disparity to Enhance Test Generation for Hybrid Systems. [Citation Graph (, )][DBLP]

  7. Modeling Property Based Stream Templates with TTCN-3. [Citation Graph (, )][DBLP]

  8. THOTL: A Timed Extension of HOTL. [Citation Graph (, )][DBLP]

  9. Model-Based Firewall Conformance Testing. [Citation Graph (, )][DBLP]

  10. VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. [Citation Graph (, )][DBLP]

  11. Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. [Citation Graph (, )][DBLP]

  12. Generating Checking Sequences for Partial Reduced Finite State Machines. [Citation Graph (, )][DBLP]

  13. Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]

  14. Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]

  15. Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]

  16. Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]

  17. Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. [Citation Graph (, )][DBLP]

  18. Applying Model-Based Testing to HTML Rendering Engines - A Case Study. [Citation Graph (, )][DBLP]

  19. Model-Based Generation of Testbeds for Web Services. [Citation Graph (, )][DBLP]

  20. Real-Time Testing with TTCN-3. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002