Sohil Shrestha

Publications

• Complementing machine learning classifiers via dynamic symbolic execution
• SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain
• SLNET: A Redistributable Corpus of 3rd-party Simulink Models
• SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink
• SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI)
• Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning
• Replicability Study: Corpora For Understanding Simulink Models & Projects