Automatic Test Generation with Model Checking Techniques

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)

Event location: Berlin DE

Authors with CRIS profile

Related research project(s)

How to cite

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