206 citations · 246 across the 18 of their papers we have counts for
3 papers · 1 filter
A Systematic Methodology for Evaluating Failure Independence in LLM-Generated Code
Rodrigo Pato Nogueira, Karthik Pattabiraman, Marco Vieira +1
N-Version Programming (NVP) improves software reliability by executing multiple independent implementations and combining outputs, but its adoption is limited by high cost and the…
Error Propagation Analysis for Multithreaded Programs: An Empirical Approach
Stefan Winter, Abraham Chan, Habib Saissi +2
Fault injection is a technique to measure the robustness of a program to errors by introducing faults into the program under test. Following a fault injection experiment, Error Pro…
How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
Asem Ghaleb, Karthik Pattabiraman
Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover…