8 citations · 14 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…