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/09/26 AU - Salahuddin S AU - Bogdanov K AU - Walkinshaw N ED - DO - DOI: 10.1109/ICSTW.2008.9 SP - 371 EP - 375 Y2 - 2025/11/02 ER -