Basic behavioral models for software product lines: Expressiveness and testing pre-orders

Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi. Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Systems & Control Letters, 123:42-60, 2016. [doi]

Abstract

Abstract is missing.