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 ...

Abstract: After all these years and all these other shared memory programming frameworks, OpenMP is still the most popular one. However, its greater levels of non-deterministic execution makes ...