Sohil Lal Shrestha

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Manifold Alignment

Multiple Regression

Top Venues

ICSE (Companion Volume)

Publications

Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner
ScoutSL: An Open-Source Simulink Search Engine. MoDELS (Companion) (2023)
Sohil Lal Shrestha
Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. ISSTA (2023)
Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
Replicability Study: Corpora For Understanding Simulink Models & Projects. ESEM (2023)
Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
Replicability Study: Corpora For Understanding Simulink Models & Projects. CoRR (2023)
Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. MODELS (2023)
Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. CoRR (2022)
Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. MSR (2022)
Sohil Lal Shrestha, Christoph Csallner
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. CoRR (2021)
Sohil Lal Shrestha, Christoph Csallner
SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. EASE (2021)
Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). ICSE (Companion Volume) (2020)
Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. ICSE (2020)
Sohil Lal Shrestha
Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning. ICSE (Companion Volume) (2020)