Automatic Test Case Generation with NuSMV

Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel. Automatic Test Case Generation with NuSMV. In Christian Hochberger, Rüdiger Liskowsky, editors, Informatik 2006 - Informatik für Menschen, Band 2, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden. Volume 94 of LNI, pages 262-263, GI, 2006.

Abstract

Abstract is missing.