| SLEMI: Equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink SA Chowdhury, SL Shrestha, TT Johnson, C Csallner Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 42 | 2020 |
| DeepFuzzSL: Generating models with deep learning to find bugs in the Simulink toolchain SL Shrestha, SA Chowdhury, C Csallner 2nd workshop on testing for deep learning and deep learning for testing …, 2020 | 21 | 2020 |
| SLGPT: Using transfer learning to directly generate Simulink model files and find bugs in the Simulink toolchain SL Shrestha, C Csallner Proceedings of the 25th International Conference on Evaluation and …, 2021 | 20 | 2021 |
| SLNET: A Redistributable Corpus of 3rd-party Simulink Models SL Shrestha, SA Chowdhury, C Csallner Proceedings of the 19th International Conference on Mining Software …, 2022 | 13 | 2022 |
| Automatic generation of Simulink models to find bugs in a cyber-physical system tool chain using deep learning SL Shrestha Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 9 | 2020 |
| EvoSL: a large open-source corpus of changes in Simulink models & projects SL Shrestha, A Boll, SA Chowdhury, T Kehrer, C Csallner 2023 ACM/IEEE 26th International Conference on Model Driven Engineering …, 2023 | 7 | 2023 |
| Harnessing large language models for simulink toolchain testing and developing diverse open-source corpora of simulink models for metric and evolution analysis SL Shrestha Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 5 | 2023 |
| SLEMI: Finding Simulink compiler bugs through equivalence modulo input (EMI) SA Chowdhury, SL Shrestha, TT Johnson, C Csallner Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 5 | 2020 |
| Replicability study: Corpora for understanding simulink models & projects SL Shrestha, SA Chowdhury, C Csallner 2023 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2023 | 4 | 2023 |
| ScoutSL: An Open-Source Simulink Search Engine SL Shrestha, A Boll, T Kehrer, C Csallner 2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023 | 2 | 2023 |
| Complementing Machine Learning Classifiers Via Dynamic Symbolic Execution:“Human vs. Bot Generated” Tweets SL Shrestha, S Panda, C Csallner Proceedings of the 6th International Workshop on Realizing Artificial …, 2018 | 2 | 2018 |
| Constructing Large Open-Source Corpora and Leveraging Language Models for Simulink Toolchain Testing and Analysis SL Shrestha The University of Texas at Arlington, 2023 | | 2023 |
Christoph CsallnerUniversity of Texas at ArlingtonBestätigte E-Mail-Adresse bei uta.edu