Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets. - Sohil L. Shrestha; Saroj Panda; Christoph Csallner (RAISE@ICSE, 2018)

SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. - Shafiul Azam Chowdhury; Sohil Lal Shrestha; Taylor T. Johnson; Christoph Csallner (ICSE, 2020)

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). - Shafiul Azam Chowdhury; Sohil Lal Shrestha; Taylor T. Johnson; Christoph Csallner (ICSE (Companion Volume), 2020)

Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning. - Sohil Lal Shrestha (ICSE (Companion Volume), 2020)

SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. - Sohil Lal Shrestha; Christoph Csallner (EASE, 2021)

SLNET: A Redistributable Corpus of 3rd-party Simulink Models. - Sohil Lal Shrestha; Shafiul Azam Chowdhury; Christoph Csallner (MSR, 2022)

Replicability Study: Corpora For Understanding Simulink Models & Projects. - Sohil Lal Shrestha; Shafiul Azam Chowdhury; Christoph Csallner (ESEM, 2023)

Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. - Sohil Lal Shrestha (ISSTA, 2023)

EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. - Sohil Lal Shrestha; Alexander Boll; Shafiul Azam Chowdhury; Timo Kehrer; Christoph Csallner (MODELS, 2023)

ScoutSL: An Open-Source Simulink Search Engine. - Sohil Lal Shrestha; Alexander Boll; Timo Kehrer; Christoph Csallner (MoDELS (Companion), 2023)