64 citations · 106 across the 7 of their papers we have counts for
7 papers
DiffTestGen: Change-Directed LLM-Based Testing for Exposing Behavioral Differences
Huimin Hu, Cristian Cadar, Michael Pradel
As software evolves over time, it is important to ensure that any behavioral changes occur as intended by developers. A promising approach for this goal is to generate tests that e…
Evaluating LLM Agents on Automated Software Analysis Tasks
Islem Bouzenia, Cristian Cadar, Michael Pradel
Numerous software analysis tools exist today, yet applying them to diverse open-source projects remains challenging due to environment setup, dependency resolution, and analysis to…
PatchGuru: Patch Oracle Inference from Natural Language Artifacts
Thanh Le-Cong, Bach Le, Toby Murray +2
As software systems evolve, patches may unintentionally alter program behavior. Validating patches against their intended semantics is difficult due to incomplete regression tests…
Understanding API Usage and Testing: An Empirical Study of C Libraries
Ahmed Zaki, Cristian Cadar
For library developers, understanding how their Application Programming Interfaces (APIs) are used in the field can be invaluable. Knowing how clients are using their APIs allows f…
Software Security Analysis in 2030 and Beyond: A Research Roadmap
Marcel Böhme, Eric Bodden, Tevfik Bultan +3
As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering res…
SnapFuzz: An Efficient Fuzzing Framework for Network Applications
Anastasios Andronidis, Cristian Cadar
In recent years, fuzz testing has benefited from increased computational power and important algorithmic advances, leading to systems that have discovered many critical bugs and vu…
A Systematic Impact Study for Fuzzer-Found Compiler Bugs
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson +1
Despite much recent interest in compiler randomized testing (fuzzing), the practical impact of fuzzer-found compiler bugs on real-world applications has barely been assessed. We pr…