Someone gave me a Samsung WA40J3000WA washing machine that wouldn't spin. Figuring out why It wouldn't do that wasn't easy, ...

This is the implementation of Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization [1] accepted at AAAI 2025. In this work, we propose a novel approach ...

Abstract: With the increasing frequency of flood disasters, the safe and reliable operation of urban distribution networks is under severe threat, to mitigate the economic losses caused by power ...