Introductory paper: scalability aspects of validation Tiziana MargariaWang Yi Special section on trends in verification and validation 22 October 2003 Pages: 1 - 3
Satisfiability checking using Boolean Expression Diagrams Poul F. WilliamsHenrik R. AndersenHenrik Hulgaard Special section on trends in verification and validation 18 December 2002 Pages: 4 - 14
A symbolic manipulator for automated verification of reactive systems with heterogeneous data types Tuba Yavuz-KahveciTevfik Bultan Special section on trends in verification and validation 18 December 2002 Pages: 15 - 33
Finding feasible abstract counter-examples Corina S. PăsăreanuMatthew B. DwyerWillem Visser Special section on trends in verification and validation 18 December 2002 Pages: 34 - 48
Boolean and Cartesian abstraction for model checking C programs Thomas BallAndreas PodelskiSriram K. Rajamani Special section on trends in verification and validation 22 October 2002 Pages: 49 - 58
Automated test generation from timed automata Brian NielsenArne Skou Special section on trends in verification and validation 17 June 2003 Pages: 59 - 77
Compositional message sequence charts Elsa L. GunterAnca MuschollDoron Peled Special section on trends in verification and validation 18 December 2002 Pages: 78 - 89
A mutation analysis tool for Java programs P. ChevalleyP. Thévenod-Fosse Regular contribution 17 December 2002 Pages: 90 - 103