(PDF) Model-Based Formal Specification Directed Testing of

Model-Based Formal Specification Directed Testing of Abstract Data Types

doi 10.1109/cmpsac.1993.404241

Full Text

Abstract

Available in full text

Date

Unknown

Authors

Publisher

IEEE Comput. Soc. Press