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