equivalence-modulo-inputs
There are 1 repositories under equivalence-modulo-inputs topic.
shafiul/slemi
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)
There are 1 repositories under equivalence-modulo-inputs topic.
SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)