A BNF-based automatic test program generator for compatible microprocessor verification

Lieh-Ming Wu, Kuochen Wang, Chuang-Yi Chiu. A BNF-based automatic test program generator for compatible microprocessor verification. ACM Trans. Design Autom. Electr. Syst., 9(1):105-132, 2004. [doi]

Abstract

Abstract is missing.