TY - JOUR T1 - Basic behavioral models for software product lines: Expressiveness and testing pre-orders JO - Science of Computer Programming UR - https://doi.org/10.1016/j.scico.2015.06.005 PY - 2016/07/01 AU - Beohar H AU - Varshosaz M AU - Mousavi MR ED - DO - DOI: 10.1016/j.scico.2015.06.005 PB - Elsevier BV VL - 123 SP - 42 EP - 60 Y2 - 2025/11/20 ER -