Login / Signup
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).
Shafiul Azam Chowdhury
Sohil Lal Shrestha
Taylor T. Johnson
Christoph Csallner
Published in:
ICSE (Companion Volume) (2020)
Keyphrases
</>
software systems
control system
neural network
general purpose
input data
programming language
control algorithm
control method
static analysis
database
real time
relational databases
software engineering
input output
fault detection
learning bayesian networks