TY - JOUR T1 - Basic behavioral models for software product lines: Expressiveness and testing pre-orders JO - Science of Computer Programming PY - 2016/01/01 AU - Beohar H AU - Varshosaz M AU - Mousavi MR ED - VL - 123 SP - 42 EP - 60 Y2 - 2025/04/05 ER -