Journals in DBLP

STTT
2003, volume: 5, number: 1

1. Tiziana Margaria, Wang Yi
   Introductory paper: scalability aspects of validation. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:1-3 [Journal]
   
2. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
   Satisfiability checking using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:4-14 [Journal]
   
3. Tuba Yavuz-Kahveci, Tevfik Bultan
   A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:15-33 [Journal]
   
4. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
   Finding feasible abstract counter-examples. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:34-48 [Journal]
   
5. Thomas Ball, Andreas Podelski, Sriram K. Rajamani
   Boolean and Cartesian abstraction for model checking C programs. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:49-58 [Journal]
   
6. Brian Nielsen, Arne Skou
   Automated test generation from timed automata. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:59-77 [Journal]
   
7. Elsa L. Gunter, Anca Muscholl, Doron Peled
   Compositional message sequence charts. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:78-89 [Journal]
   
8. Philippe Chevalley, Pascale Thévenod-Fosse
   A mutation analysis tool for Java programs. [Citation Graph (0, 0)][DBLP]
   STTT, 2003, v:5, n:1, pp:90-103 [Journal]