BERTiMuS generates Simulink model mutants via CodeBERT masked-token prediction, and in a requirements-aware evaluation it outperforms the FIM tool.
Property-based mutation testing
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
method 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
method 1polarities
use method 1representative citing papers
citing papers explorer
-
Simulink Mutation Testing using CodeBERT
BERTiMuS generates Simulink model mutants via CodeBERT masked-token prediction, and in a requirements-aware evaluation it outperforms the FIM tool.