1. Improving the effectiveness of system verification

   • Holger Hermanns
   • Jens Palsberg

   Foreword 21 December 2007 Pages: 111 - 112

2. Efficient guided symbolic reachability using reachability expressions

   • Dina Thomas
   • Supratik Chakraborty
   • Paritosh Pandya

   TACAS 06 08 January 2008 Pages: 113 - 129

3. Exploiting traces in static program analysis: better model checking through \({{\tt printf}}\)s

   • Alex Groce
   • Rajeev Joshi

   TACAS 06 08 January 2008 Pages: 131 - 144

4. An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing

   • Atul Gupta
   • Pankaj Jalote

   TACAS 06 08 January 2008 Pages: 145 - 160

5. A negative result on depth-first net unfoldings

   • Javier Esparza
   • Pradeep Kanade
   • Stefan Schwoon

   Formal Methods Letter 27 February 2007 Pages: 161 - 166

6. Improving state class constructions for CTL* model checking of time Petri nets

   • Rachid Hadjidj
   • Hanifa Boucheneb

   Regular Contribution 23 June 2007 Pages: 167 - 184

7. ProB: an automated analysis toolset for the B method

   • Michael Leuschel
   • Michael Butler

   Regular Contribution 08 January 2008 Pages: 185 - 203