Abstract: This research addresses the critical challenges faced by communities in Idleb, Syria, particularly the barriers children encounter in accessing basic services due to the ongoing conflict. We ...

PReMM, an LLM-based program repair framework for Multi-Method Bugs. PReMM builds on three core components: the faulty method clustering component to partition the faulty methods into clusters based on ...

Abstract: We present a tool BEST (Binary instrumentation-based Error-directed Symbolic Testing) for predicting concurrency violations. 1 We automatically infer potential concurrency violations such as ...