Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 190, number: 2

1. Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:1- [Journal]
   
2. Sergiy Boroday, Alexandre Petrenko, Roland Groz
   Can a Model Checker Generate Tests for Non-Deterministic Systems? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:3-19 [Journal]
   
3. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
   Measuring a Java Test Suite Coverage Using JML Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:21-32 [Journal]
   
4. Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
   Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:33-46 [Journal]
   
5. Anders Hessel, Paul Pettersson
   A Global Algorithm for Model-Based Test Suite Generation. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:47-59 [Journal]
   
6. Maik Kollmann, Yuen Man Hon
   Generating Scenarios by Multi-Object Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:61-72 [Journal]
   
7. Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
   A Case Study in Matching Test and Proof Coverage. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:73-84 [Journal]
   
8. Martin Ouimet, Kristina Lundqvist
   Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:85-97 [Journal]
   
9. Ana Paiva, João C. P. Faria, Raul F. A. M. Vidal
   Towards the Integration of Visual and Formal Models for GUI Testing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:99-111 [Journal]
   
10. Franco Raimondi, Charles Pecheur, Guillaume Brat
    Testing Planning Domains (without Model Checkers). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:113-125 [Journal]