Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Résultats de recherche

• Terminé

  FEDER-IDEES Co-Innovation: Co-Innovation

  HEYMANS, P. (Responsable du Projet)

  1/01/15 → 31/12/20

  Projet: Recherche

  • simulation 100%
  • mutants 100%
  • mutations 92%
  • testing 81%
  • internet 50%

• Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

  Devroey, X. (Chercheur), Heymans, P. (Co-investigateur), Schobbens, P. Y. (Co-investigateur) & Perrouin, G. (Chercheur)

  1/09/11 → 30/08/17

  Projet: Projet de thèse

  • testing 100%
  • computer codes 86%
  • Software Product Line 75%
  • Transition System 74%
  • psychological behavior 71%