Jacek Leszczylowski;James M. Bieman
Colorado State Univ., Fort Collins;Colorado State Univ., Fort Collins
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test