Automatic Test Case Generation with NuSMV.

Grygoriy Bunin Axel Schneider Christian Haubelt Jan Langer Ulrich Heinkel

Published in: GI Jahrestagung (2) (2006)

Keyphrases

test case generation
model checking
test cases
symbolic model checking
software testing
object oriented systems
test data generation
database
database systems
open source
temporal logic
java programs