Login / Signup

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

Xavier DevroeyGilles PerrouinMike PapadakisAxel LegayPierre-Yves SchobbensPatrick Heymans
Published in: ICST (2017)
Keyphrases
  • natural language
  • markov chain
  • language learning
  • formal languages
  • genetic algorithm
  • rough sets
  • logic programs
  • cellular automata
  • target language
  • datalog programs
  • formal language theory