Automated Black-Box Testing with Abstract VDM Oracles

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Automated black-box testing with abstract VDM oracles. In J. Fitzgerald and P. G. Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, pages 57-66, September 1999.