TY - CONF T1 - Dynamic analysis of algebraic structure to optimize test generation and test case selection JO - Taic Part 2009 Testing Academic and Industrial Conference Practice and Research Techniques PY - 2009/12/01 AU - Simons AJH AU - Zhao W ED - DO - DOI: 10.1109/TAICPART.2009.28 SP - 33 EP - 42 Y2 - 2025/11/29 ER -