SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)
-
Updated
Jan 25, 2020 - MATLAB
#
compiler-testing
Here are 2 public repositories matching this topic...
EMI-based Validation of Commercial Cyber-Physical System Development Tool Chains (e.g. MATLAB/Simulink)
-
Updated
Nov 19, 2019 - MATLAB
Improve this page
Add a description, image, and links to the compiler-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the compiler-testing topic, visit your repo's landing page and select "manage topics."