External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing

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]

Authors

Amador Durán

This author has not been identified. Look up 'Amador Durán' in Google

David Benavides

This author has not been identified. Look up 'David Benavides' in Google

Sergio Segura

This author has not been identified. Look up 'Sergio Segura' in Google

Pablo Trinidad

This author has not been identified. Look up 'Pablo Trinidad' in Google

Antonio Ruiz Cortés

This author has not been identified. Look up 'Antonio Ruiz Cortés' in Google
runs on