TY - JOUR T1 - Balanced FSM generation for empirical studies JO - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08 PY - 2008/01/01 AU - Salahuddin S AU - Bogdanov K AU - Walkinshaw N ED - DO - DOI: 10.1109/ICSTW.2008.9 SP - 371 EP - 375 Y2 - 2025/07/23 ER -