TY - JOUR T1 - Input-output conformance testing for software product lines JO - Journal of Logical and Algebraic Methods in Programming PY - 2016/01/01 AU - Beohar H AU - Mousavi MR ED - VL - 85 SP - 1131 EP - 1153 Y2 - 2024/12/23 ER -