External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

Authors

Grygoriy Bunin

This author has not been identified. Look up 'Grygoriy Bunin' in Google

Axel Schneider

This author has not been identified. Look up 'Axel Schneider' in Google

Christian Haubelt

This author has not been identified. Look up 'Christian Haubelt' in Google

Jan Langer

This author has not been identified. Look up 'Jan Langer' in Google

Ulrich Heinkel

This author has not been identified. Look up 'Ulrich Heinkel' in Google
runs on