Sign in

Counterexample guided abstraction refinement of product-line behavioural models.

Maxime CordyPatrick HeymansAxel LegayPierre-Yves SchobbensBruno DawagneMartin Leucker
Published in: SIGSOFT FSE (2014)
Keyphrases
  • product line
  • probabilistic model
  • statistical models
  • genetic algorithm
  • learning algorithm
  • software engineering
  • model checking