Login / Signup
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.
Shafiul Azam Chowdhury
Sohil Lal Shrestha
Taylor T. Johnson
Christoph Csallner
Published in:
ICSE (2020)
Keyphrases
</>
genetic algorithm
statistical models
programming language
software systems
control system
optimization algorithm
data sets
evolutionary algorithm
general purpose
graphical models
parameter estimation
machine learning algorithms
fitness function
statistical model