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 M. Felici, K. Kanoun, and A. Pasquini, editors, Computer Safety, Reliability and Security: proceedings of the 18^th International Conference, SAFECOMP'99, Toulouse, France, September 1999, volume 1698 of Lecture Notes in Computer Science, pages 250-259. Springer, 1999.