2 papers
cs.SE2025
Simulink Mutation Testing using CodeBERT
Jingfan Zhang, Delaram Ghobari, Mehrdad Sabetzadeh +1
We present BERTiMuS, an approach that uses CodeBERT to generate mutants for Simulink models. BERTiMuS converts Simulink models into textual representations, masks tokens from the d…
cs.SE2025
Test Input Validation for Vision-based DL Systems: An Active Learning Approach
Delaram Ghobari, Mohammad Hossein Amini, Dai Quoc Tran +3
Testing deep learning (DL) systems requires extensive and diverse, yet valid, test inputs. While synthetic test input generation methods, such as metamorphic testing, are widely us…