TY - JOUR T1 - Input–output conformance testing for software product lines JO - Journal of Logical and Algebraic Methods in Programming UR - https://doi.org/10.1016/j.jlamp.2016.09.007 PY - 2016/10/01 AU - Beohar H AU - Mousavi MR ED - DO - DOI: 10.1016/j.jlamp.2016.09.007 PB - Elsevier BV VL - 85 IS - 6 SP - 1131 EP - 1153 Y2 - 2025/11/20 ER -