Login / Signup
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation.
Xavier Devroey
Gilles Perrouin
Mike Papadakis
Axel Legay
Pierre-Yves Schobbens
Patrick 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