Test Derivation in a Refinement Process

B. K. Aichernig

Abstract:

Reference: B. K. Aichernig. Test Derivation in a Refinement Process. In RCS'03, the 2^nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June 3, 2003, Turku, Finland), 2003.