A BNF-based automatic test program generator for compatible microprocessor verification. - Lieh-Ming Wu; Kuochen Wang; Chuang-Yi Chiu (ACM Trans. Design Autom. Electr. Syst., 2004)