@misc{indiciae33112aca3b32, title = {DJPlus: Generating minimal test suites for strong coverage criteria in graph models}, author = {Yavuz Köroğlu and Mutlu Beyazıt and Onur Kılınççeker and Serge Demeyer and Franz Wotawa}, year = {2026}, url = {https://arxiv.org/abs/2609.08953}, note = {Source identifier: 2609.08953} }