Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés. FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Software and Systems Modeling, 16(4):1049-1082, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.