Conformance Checking

---

Citation:	Michael Barnett, Lev Nachmanson, and Wolfram Schulte, "Conformance Checking of Components Against Their Non-deterministic Specifications". Microsoft Research Technical Report MSR-TR-2001-56.
Summary:	A method for testing a Microsoft COM (Component Object Model) component against a (possibly non-deterministic) ASM specification is presented.
Subjects:	Architecture
Download:	From Foundations of Software Engineering at Microsoft Research in PDF.
Notes: