|
Conferences in DBLP
Testing Real-Time Systems Using TINA. [Citation Graph (, )][DBLP]
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. [Citation Graph (, )][DBLP]
Testing k-Safe Petri Nets. [Citation Graph (, )][DBLP]
Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]
Testing Timed Finite State Machines with Guaranteed Fault Coverage. [Citation Graph (, )][DBLP]
Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs. [Citation Graph (, )][DBLP]
Interaction Coverage Meets Path Coverage by SMT Constraint Solving. [Citation Graph (, )][DBLP]
Automatic Testing of Access Control for Security Properties. [Citation Graph (, )][DBLP]
Generating Reduced Tests for FSMs with Extra States. [Citation Graph (, )][DBLP]
An Approach for Test Selection for EFSMs Using a Theorem Prover. [Citation Graph (, )][DBLP]
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. [Citation Graph (, )][DBLP]
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]
Analyzing Response Inconsistencies in Test Suites. [Citation Graph (, )][DBLP]
Model-Based Testing of Web Applications Using NModel. [Citation Graph (, )][DBLP]
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]
Towards Automatic Generation of a Coherent TTCN-3 Template Framework. [Citation Graph (, )][DBLP]
OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems. [Citation Graph (, )][DBLP]
Debugging into Examples. [Citation Graph (, )][DBLP]
Structural Analysis of Large TTCN-3 Projects. [Citation Graph (, )][DBLP]
|