Schneider A, Bunin G, Haubelt C, Heinkel U (2006)
Publication Type: Conference contribution
Publication year: 2006
Pages Range: 307 - 318
Conference Proceedings Title: Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006)
APA:
Schneider, A., Bunin, G., Haubelt, C., & Heinkel, U. (2006). Automatic Test Generation with Model Checking Techniques. In Software Quality in Service-Oriented Architectures Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006) (pp. 307 - 318). Berlin, DE.
MLA:
Schneider, Axel, et al. "Automatic Test Generation with Model Checking Techniques." Proceedings of the Conference on Quality Engineering in Software Technology (CONQUEST2006), Berlin 2006. 307 - 318.
BibTeX: Download