2 papers
cs.SE2026
An Empirical Evaluation of Using Large Language Models for Automated Model-Based Test Generation
Hafize Sanli, Onur Kilincceker, Cihat Cetinkaya
Large language models have shown strong potential for software engineering tasks, particularly software testing. Model-based testing (MBT) is a software testing technique. To addre…
cs.SE2026
Mutation Testing of Simulink Cyber-Physical System Models: Challenges and Solutions in Practice
Murat Kavak, Onur Kilincceker, Serge Demeyer +2
Several experience reports illustrate that mutation testing is capable of supporting a shift-left testing strategy, especially in industries where late bug discovery incurs very hi…