9He Xinhua Gong Yunzhan(Armoured Force Engineering Institute, Beijing 100072)Wei Daozheng (CAD Lab, Institute of Computing Technology Academia Sinica, Beijing 100080).STG-BASED VERIFICATION AND TEST GENERATION[J].Journal of Electronics(China),1996,13(1):68-73.