To appear in 6th Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems (CyPhy'16
CyFuzz is a research project at the SERC
laboratory at The University of Texas at Arlington
Our prototype implementation for MathWorks'
Simulink modeling environment independantly reproduced a confirmed bug.
sample randomly generated Simulink models