Sohil L. Shrestha

According to our database, Sohil L. Shrestha authored at least 10 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

ScoutSL: An Open-Source Simulink Search Engine.

Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Replicability Study: Corpora For Understanding Simulink Models & Projects.

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2023

2022

SLNET: A Redistributable Corpus of 3rd-party Simulink Models.

Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

2021

SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain.

Sohil Lal Shrestha, Christoph Csallner

Proceedings of the EASE 2021: Evaluation and Assessment in Software Engineering, 2021

2020

Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning.

Sohil Lal Shrestha

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI).

Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

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

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2018

Complementing Machine Learning Classifiers via Dynamic Symbolic Execution: "Human vs. Bot Generated" Tweets.

Sohil L. Shrestha, Saroj Panda, Christoph Csallner

Proceedings of the 6th IEEE/ACM International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2018