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…