The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Testing Real-Time Systems Using TINA. [Citation Graph (, )][DBLP]

  2. A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. [Citation Graph (, )][DBLP]

  3. Testing k-Safe Petri Nets. [Citation Graph (, )][DBLP]

  4. Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]

  5. Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]

  6. Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. [Citation Graph (, )][DBLP]

  7. Interaction Coverage Meets Path Coverage by SMT Constraint Solving. [Citation Graph (, )][DBLP]

  8. Automatic Testing of Access Control for Security Properties. [Citation Graph (, )][DBLP]

  9. Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]

  10. An Approach for Test Selection for EFSMs Using a Theorem Prover. [Citation Graph (, )][DBLP]

  11. TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. [Citation Graph (, )][DBLP]

  12. Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]

  13. Analyzing Response Inconsistencies in Test Suites. [Citation Graph (, )][DBLP]

  14. Model-Based Testing of Web Applications Using NModel. [Citation Graph (, )][DBLP]

  15. Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]

  16. Towards Automatic Generation of a Coherent TTCN-3 Template Framework. [Citation Graph (, )][DBLP]

  17. OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. [Citation Graph (, )][DBLP]

  18. Debugging into Examples. [Citation Graph (, )][DBLP]

  19. Structural Analysis of Large TTCN-3 Projects. [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