International Journal on Software Tools for Technology Transfer

Introductory paper
pp. 257-259(3)
Authors: Dwyer, Matthew; Leue, Stefan

Heuristics for model checking Java programs
pp. 260-276(17)
Authors: Groce, Alex; Visser, Willem

Partial-order reduction and trail improvement in directed model checking
pp. 277-301(25)
Authors: Edelkamp, Stefan; Leue, Stefan; Lluch-Lafuente, Alberto

Symmetry reductions for model checking of concurrent dynamic software
pp. 302-319(18)
Author: Iosif, Radu

Exploiting transition locality in automatic verification of finite-state concurrent systems
pp. 320-341(22)
Authors: Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa