Using algebraic specifications to find sequencing defects

Kurt M. Olender, James M. Bieman. Using algebraic specifications to find sequencing defects. In Fourth International Symposium on Software Reliability Engineering, ISSRE 1993, Denver, CO, USA, November 3-6, 1993. pages 226-232, IEEE, 1993. [doi]

No reviews for this publication, yet.