TY - CONF T1 - Eliminating Redundant Tests in a Checking Sequence PY - 2005/01/01 AU - Chen J AU - Hierons RM AU - Ural H AU - Yenigun H ED - DO - DOI: 10.1007/11430230_11 PB - Springer Berlin Heidelberg SN - 9783540260547 SP - 146 EP - 158 Y2 - 2025/05/17 ER -