1. Introductory paper: scalability aspects of validation

   • Tiziana Margaria
   • Wang Yi

   Special section on trends in verification and validation 22 October 2003 Pages: 1 - 3

2. Satisfiability checking using Boolean Expression Diagrams

   • Poul F. Williams
   • Henrik R. Andersen
   • Henrik Hulgaard

   Special section on trends in verification and validation 18 December 2002 Pages: 4 - 14

3. A symbolic manipulator for automated verification of reactive systems with heterogeneous data types

   • Tuba Yavuz-Kahveci
   • Tevfik Bultan

   Special section on trends in verification and validation 18 December 2002 Pages: 15 - 33

4. Finding feasible abstract counter-examples

   • Corina S. Păsăreanu
   • Matthew B. Dwyer
   • Willem Visser

   Special section on trends in verification and validation 18 December 2002 Pages: 34 - 48

5. Boolean and Cartesian abstraction for model checking C programs

   • Thomas Ball
   • Andreas Podelski
   • Sriram K. Rajamani

   Special section on trends in verification and validation 22 October 2002 Pages: 49 - 58

6. Automated test generation from timed automata

   • Brian Nielsen
   • Arne Skou

   Special section on trends in verification and validation 17 June 2003 Pages: 59 - 77

7. Compositional message sequence charts

   • Elsa L. Gunter
   • Anca Muscholl
   • Doron Peled

   Special section on trends in verification and validation 18 December 2002 Pages: 78 - 89

8. A mutation analysis tool for Java programs

   • P. Chevalley
   • P. Thévenod-Fosse

   Regular contribution 17 December 2002 Pages: 90 - 103