61 citations · 83 across the 5 of their papers we have counts for
5 papers
Addressable Recall Compaction for Long Context-Window Control in AI Agents
Thang Dang, Yuma Ichikawa, Sakina Fatima +1
Long-horizon LLM agents accumulate reasoning traces, actions, and tool observations that can eventually exceed a model's fixed context window. Existing compaction methods address t…
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
Ahmadreza Saboor Yaraghi, Golnaz Gharachorlu, Sakina Fatima +3
Fault localization (FL) is a critical step in debugging, which typically relies on repeated executions to pinpoint faulty code regions. However, repeated executions can be impracti…
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat +4
Proof-oriented programs mix computational content with proofs of program correctness. However, the human effort involved in programming and proving is still substantial, despite th…
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
Sakina Fatima, Hadi Hemmati, Lionel Briand
Flaky tests are problematic because they non-deterministically pass or fail for the same software version under test, causing confusion and wasting development effort. While machin…
Flakify: A Black-Box, Language Model-based Predictor for Flaky Tests
Sakina Fatima, Taher A. Ghaleb, Lionel Briand
Software testing assures that code changes do not adversely affect existing functionality. However, a test case can be flaky, i.e., passing and failing across executions, even for…