E-LIB Suche - Ergebnisse für: Chowdhury, Shafiul Azam

1

Replicability Study: Corpora For Understanding Simulink Mod..:

, In: 2023 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM),

Shrestha, Sohil Lal ; Chowdhury, Shafiul Azam ; Csallner, Christoph - p. 1-12 , 2023

Link: https://doi.org/10.1109/..

2

EvoSL: A Large Open-Source Corpus of Changes in Simulink Mo..:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),

Shrestha, Sohil Lal ; Boll, Alexander ; Chowdhury, Shafiul Azam.. - p. 273-284 , 2023

Link: https://doi.org/10.1109/..

3

SLNET: A Redistributable Corpus of 3rd-party Simulink Model:

, In: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR),

Shrestha, Sohil Lal ; Chowdhury, Shafiul Azam ; Csallner, Christoph - p. 01-05 , 2022

Link: https://doi.org/10.1145/..

4

SLNET : a redistributable corpus of 3rd-party simulink m..:

, In: Proceedings of the 19th International Conference on Mining Software Repositories,

Shrestha, Sohil Lal ; Chowdhury, Shafiul Azam ; Csallner, Christoph - p. 237-241 , 2022

Link: https://dl.acm.org/doi/1..

5

Software Engineering for Smart Cyber-Physical Systems (SEsC..:

Bures, Tomas ; Weyns, Danny ; Schmerl, Bradley...
ACM SIGSOFT Software Engineering Notes. 44 (2021) 4 - p. 11-13 , 2021

Link: https://dl.acm.org/doi/1..

6

SLEMI : finding simulink compiler bugs through equivalen..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings,

Chowdhury, Shafiul Azam ; Shrestha, Sohil Lal ; Johnson, Taylor T.. - p. 1-4 , 2020

Link: https://dl.acm.org/doi/1..

7

SLEMI : equivalence modulo input (EMI) based mutation of..:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering,

Chowdhury, Shafiul Azam ; Shrestha, Sohil Lal ; Johnson, Taylor T.. - p. 335-346 , 2020

Link: https://dl.acm.org/doi/1..

8

Software Engineering for Smart Cyber-Physical Systems (SEsC..:

Bures, Tomas ; Weyns, Danny ; Schmerl, Bradley...
ACM SIGSOFT Software Engineering Notes. 44 (2019) 4 - p. 11-13 , 2019

Link: https://doi.org/10.1145/..

9

Software Engineering for Smart Cyber-Physical Systems (SEsC..:

Bures, Tomas ; Weyns, Danny ; Schmerl, Bradley...
ACM SIGSOFT Software Engineering Notes. 44 (2019) 4 - p. 11-13 , 2019

Link: https://dl.acm.org/doi/1..

10

Automatically finding bugs in a commercial cyber-physical s..:

, In: Proceedings of the 40th International Conference on Software Engineering,

Chowdhury, Shafiul Azam ; Mohian, Soumik ; Mehra, Sidharth... - p. 981-992 , 2018

Link: https://dl.acm.org/doi/1..

11

Understanding and improving cyber-physical system models an..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Chowdhury, Shafiul Azam - p. 452-453 , 2018

Link: https://dl.acm.org/doi/1..

12

A curated corpus of simulink models for model-based empiric..:

, In: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems,

Chowdhury, Shafiul Azam ; Varghese, Lina Sera ; Mohian, Soumik.. - p. 45-48 , 2018

Link: https://dl.acm.org/doi/1..

13

Automatically finding bugs in commercial cyber-physical sys..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Chowdhury, Shafiul Azam - p. 506-508 , 2018

Link: https://dl.acm.org/doi/1..

14

Replicability Study: Corpora For Understanding Simulink Mod..:

Shrestha, Sohil Lal ; Chowdhury, Shafiul Azam ; Csallner, Christoph
http://arxiv.org/abs/2308.01978. , 2023

Link: http://arxiv.org/abs/230..

15

EvoSL: A Large Open-Source Corpus of Changes in Simulink Mo..:

Shrestha, Sohil Lal ; Boll, Alexander ; Chowdhury, Shafiul Azam..
doi:10.5281/zenodo.7806456. , 2023

Link: https://zenodo.org/recor..