Automatic Test Case Generation with Model Checker NuSMV
Bunin G, Schneider A, Haubelt C, Langer J, Heinkel U (2006)
Publication Type: Conference contribution
Publication year: 2006
Pages Range: 262 - 263
Conference Proceedings Title: Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen
Event location: Dresden
Authors with CRIS profile
Related research project(s)
How to cite
APA:
Bunin, G., Schneider, A., Haubelt, C., Langer, J., & Heinkel, U. (2006). Automatic Test Case Generation with Model Checker NuSMV. In Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen (pp. 262 - 263). Dresden, DE.
MLA:
Bunin, Gregor, et al. "Automatic Test Case Generation with Model Checker NuSMV." Proceedings of the Informatik 2006 - Workshop Modellbasiertes Testen, Dresden 2006. 262 - 263.
BibTeX: Download