Automatic Test Case Generation with NuSMV.

Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel

Browse the full GI paper archive.