2 papers
cs.SE2026
Choosing an energy-efficient software architecture for building system diagnostic support
Roxane Koitz-Hristov, Franz Wotawa
Around 30\% of global energy expenditure can be attributed to the building sector, where a large portion of energy-consumption could be avoided by repairing existing faults. Fault…
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…