Test-Design through Abstraction -- a Systematic Approach Based on the
Refinement Calculus
Abstract:
Reference: B. K. Aichernig.
Test-design through abstraction -- a systematic approach based on the
refinement calculus.
Journal of Universal Computer Science, 7(8):710-735, August 2001.
www-data,
2020-09-10