Generative hierarchical contracts for conformance testing of sequential containers
J. Corriveau, und S. Bashardoust-Tajali. SE'07: Proceedings of the 25th conference on IASTED International Multi-Conference, Seite 279--284. Anaheim, CA, USA, ACTA Press, (2007)