TY - CONF T1 - Input-Output Conformance Testing Based on Featured Transition Systems JO - Proceedings of the 29th ACM Symposium of Applied Computing: Software Verification and Testing Track PY - 2014/01/01 AU - Beohar H AU - Mousavi MR ED - Y2 - 2024/12/22 ER -