安全状态转移的简并测试集生成方法 - 图文-.docVIP

程亮等:一种基于安全状态转移的简并测试集生成方法547Hamon G,Mona L,Rushby J.Generating efficient test sets with a model checker.In:Proc.of the 2rid Int’l Conf.Oil Software Engineering and Formal Methods(SEFM.Beijing:IEEE Computer Society Press,2004.26l一270.Offutt J,Xiong Y,Liu S,Criteria for generating specification?based tests,In:Proc,of the 1st IEEE Conf.on Engineering of Complex Computer Systems.L私Vegas:IEEE Computer Society Press.1999.119—129.Jeffrey D.Gupta N.Test suite reduction with selective redundancy.In:Proc.ofthe 21st IEEE Int’l Conf.on Software Maintenance (ICSM 2005.Budapest:IEEE Computer Society,2005.5