#

emi

Here are 2 public repositories matching this topic...

shafiul / slemi

SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)

simulink emi bug-finding equivalence-modulo-inputs compiler-testing

Updated Jan 25, 2020
MATLAB

CyEMI / slsf_randgen

EMI-based Validation of Commercial Cyber-Physical System Development Tool Chains (e.g. MATLAB/Simulink)

matlab simulink test-generation automated-testing emi compiler-testing

Updated Nov 19, 2019
MATLAB

Improve this page

Add a description, image, and links to the emi topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the emi topic, visit your repo's landing page and select "manage topics."