A black-box LLM approach for fault localization in system-level test code that estimates execution traces from failure logs to rank potential faults with reduced inference cost.
Title resolution pending
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
verdicts
UNVERDICTED 4representative citing papers
Allegro applies multi-stage programming to PBT generators and pairs it with faster randomness to achieve up to 13x faster bug discovery while exactly preserving generator semantics.
CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.
PrevaRank ranks plausible patches from APR tools using similarity to historic fix features, improving correct fix placement in top ranks on Defects4J bugs.
citing papers explorer
-
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
A black-box LLM approach for fault localization in system-level test code that estimates execution traces from failure logs to rank potential faults with reduced inference cost.
-
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Allegro applies multi-stage programming to PBT generators and pairs it with faster randomness to achieve up to 13x faster bug discovery while exactly preserving generator semantics.
-
Concolic Testing Heap-Manipulating Programs
CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.
-
Ranking Plausible Patches by Historic Feature Frequencies
PrevaRank ranks plausible patches from APR tools using similarity to historic fix features, improving correct fix placement in top ranks on Defects4J bugs.