Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2008, volume: 220, number: 1

1. 
   Preface. [Citation Graph (, )][DBLP]
   
   
2. 
   Coverage-biased Random Exploration of Models. [Citation Graph (, )][DBLP]
   
   
3. 
   Verifying Test-Hypotheses: An Experiment in Test and Proof. [Citation Graph (, )][DBLP]
   
   
4. 
   j-POST: a Java Toolchain for Property-Oriented Software Testing. [Citation Graph (, )][DBLP]
   
   
5. 
   A Lightweight Approach for the Semantic Validation of Model Refinements. [Citation Graph (, )][DBLP]
   
   
6. 
   Improving Fault-based Conformance Testing. [Citation Graph (, )][DBLP]
   
   
7. 
   Cooperative Testing of Timed Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Model-based Security Testing Using UMLsec: A Case Study. [Citation Graph (, )][DBLP]