Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
DJPlus: Generating minimal test suites for strong coverage criteria in graph models
Yavuz Köroğlu, Mutlu Beyazıt, Onur Kılınççeker +2
Automated test generation from graph models is essential to model-based testing. In this type of testing, graph coverage ensures test suite strength but also results in long test c…
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…