TY - CONF T1 - Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences JO - 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods PY - 2009/01/01 AU - Hierons RM AU - Jourdan G-V AU - Ural H AU - Yenigun H ED - DO - DOI: 10.1109/sefm.2009.12 PB - IEEE SN - 9780769538709 Y2 - 2025/07/27 ER -