Deciding Quasi-Reducibility Using Witnessed Test
Sets
SHAO Zhiqing;SUN Yongqiang;SONG Guoxin;YU Huiqun
【期刊名称】《计算机科学技术学报（英文版）》 【年(卷),期】1999(014)002
【摘要】A new approach to deciding quasi-reducibility is proposed by introducing
witnesses.
Furthermore,
an
algorithm
for
constructingwitnessed test sets of left-linear rewrite systems has been designed.Compared with the standard test set approach presented by Kapur,Narendran and Zhang, the method proposed generates test sets of smallersize and therefore has more efficient applications. 【总页数】7页(146-152)
【关键词】test set;quasi-reducibility;witness;ground term
【作者】SHAO Zhiqing;SUN Yongqiang;SONG Guoxin;YU Huiqun
【作者单位】Department of Computer Science and Engineering East China University of Science and Technology, Shanghai 200237, P.R.China;Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai 200030, P.R. China;Department of Computer Science and Engineering Shanghai Jiao Tong University, Shanghai 200030, P.R. China;Department of Computer Science and Engineering East China University of Science and Technology, Shanghai 200237, P.R.China;Department of Computer Science and Engineering
Deciding Quasi-Reducibility Using Witnessed Test Sets
