Improving the effectiveness of system verification Holger HermannsJens Palsberg Foreword 21 December 2007 Pages: 111 - 112
Efficient guided symbolic reachability using reachability expressions Dina ThomasSupratik ChakrabortyParitosh Pandya TACAS 06 08 January 2008 Pages: 113 - 129
Exploiting traces in static program analysis: better model checking through \({{\tt printf}}\)s Alex GroceRajeev Joshi TACAS 06 08 January 2008 Pages: 131 - 144
An approach for experimentally evaluating effectiveness and efficiency of coverage criteria for software testing Atul GuptaPankaj Jalote TACAS 06 08 January 2008 Pages: 145 - 160
A negative result on depth-first net unfoldings Javier EsparzaPradeep KanadeStefan Schwoon Formal Methods Letter 27 February 2007 Pages: 161 - 166
Improving state class constructions for CTL* model checking of time Petri nets Rachid HadjidjHanifa Boucheneb Regular Contribution 23 June 2007 Pages: 167 - 184
ProB: an automated analysis toolset for the B method Michael LeuschelMichael Butler Regular Contribution 08 January 2008 Pages: 185 - 203