Abstract: Boolean satisfiability (SAT), a non-deterministic polynomial (NP)-complete problem, has gained increasing attention with applications in artificial intelligence, machine learning, electronic ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results