Model-based formal specification directed testing of abstract data types | IEEE Conference Publication | IEEE Xplore