|
|
Conferences in DBLP
All-IP Based Ultra 3G Network/Service Development in a Competitive Market. [Citation Graph (, )][DBLP]
Models and Testing - A Recipe for Improved Effectiveness?. [Citation Graph (, )][DBLP]
Runtime Verification of C Programs. [Citation Graph (, )][DBLP]
Test Construction for Mathematical Functions. [Citation Graph (, )][DBLP]
Model-Based Testing Service on the Web. [Citation Graph (, )][DBLP]
Using Disparity to Enhance Test Generation for Hybrid Systems. [Citation Graph (, )][DBLP]
Modeling Property Based Stream Templates with TTCN-3. [Citation Graph (, )][DBLP]
THOTL: A Timed Extension of HOTL. [Citation Graph (, )][DBLP]
Model-Based Firewall Conformance Testing. [Citation Graph (, )][DBLP]
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. [Citation Graph (, )][DBLP]
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems. [Citation Graph (, )][DBLP]
Generating Checking Sequences for Partial Reduced Finite State Machines. [Citation Graph (, )][DBLP]
Testing Systems Specified as Partial Order Input/Output Automata. [Citation Graph (, )][DBLP]
Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]
Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]
Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis. [Citation Graph (, )][DBLP]
Applying Model-Based Testing to HTML Rendering Engines - A Case Study. [Citation Graph (, )][DBLP]
Model-Based Generation of Testbeds for Web Services. [Citation Graph (, )][DBLP]
Real-Time Testing with TTCN-3. [Citation Graph (, )][DBLP]
|
