Model-based formal specification directed testing of abstract data types.

Xiaoping Jia

Browse the full COMPSAC paper archive.