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)

    Language:MATLAB10202