Login / Signup
Model-based mutant equivalence detection using automata language equivalence and simulations.
Xavier Devroey
Gilles Perrouin
Mike Papadakis
Axel Legay
Pierre-Yves Schobbens
Patrick Heymans
Published in:
J. Syst. Softw. (2018)
Keyphrases
</>
object detection
programming language
detection method
language learning
false alarms
data sets
information retrieval
natural language
anomaly detection
differential evolution
numerical simulations
finite state machines
equivalence relation