4 papers
Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems
Yaoxuan Wu, Ingrid Lee, Ahmad Humayun +2
While fuzzing effectively catches crashes, its shallow oracles often miss semantic drifts and optimization-related errors in data-intensive scalable computing (DISC) frameworks. Pr…
Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models
Sabaat Haroon, Ahmad Faraz Khan, Ahmad Humayun +5
Generative Large Language Models (LLMs) are increasingly used in non-generative software maintenance tasks, such as fault localization (FL). Success in FL depends on a models abili…
PALM: Path-aware LLM-based Test Generation with Comprehension
Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun +2
Symbolic execution is a widely used technique for test generation, offering systematic exploration of program paths through constraint solving. However, it is fundamentally constra…
ProToken: Token-Level Attribution for Federated Large Language Models
Waris Gill, Ahmad Humayun, Ali Anwar +1
Federated Learning (FL) enables collaborative training of Large Language Models (LLMs) across distributed data sources while preserving privacy. However, when federated LLMs are de…