• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Amador DuránDavid BenavidesSergio SeguraPablo TrinidadAntonio Ruiz Cortés
Published in: Softw. Syst. Model. (2017)
Keyphrases
  • automated analysis
  • goal driven
  • formal specification
  • visual analysis
  • image processing
  • software product line
  • artificial intelligence
  • object oriented
  • test set
  • cell nuclei
  • adult literacy