Synthesizing implementations of abstract data types from axiomatic specifications

Testing the Completeness of Specifications

IEEE Transactions on Software Engineering

An algebraic data type specification language and its rapid prototyping environment

ICSE '89 Proceedings of the 11th international conference on Software engineering

Towards quality requirements via animated formal specifications

Annals of Software Engineering

Modular Verification of Data Abstractions with Shared Realizations

IEEE Transactions on Software Engineering

Synthesizing iterators from abstraction functions

Proceedings of the 11th International Conference on Generative Programming and Component Engineering