8 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 8 cited
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall +1
The Linux kernel is highly-configurable, with a build system that takes a configuration file as input and automatically tailors the source code accordingly. Configurability, howeve…
cs.SE2024★ 3 cited
Semantic Analysis of Macro Usage for Portability
Brent Pappas, Paul Gazzillo
C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to preprocessing the so…