Browsing Department of Computer Science and Engineering by Subject "Equivalent Modulo Input"
Now showing items 1-1 of 1
-
Automated Testing of a Commercial Cyber-Physical System Development Tool Chain
(2019-11-14)Rigorous validation of commercial cyber-physical system (CPS) tool chains (e.g., MATLAB/Simulink) through automated testing is of utmost importance since tool-chain generated artifacts are often deployed in safety-critical ...