Name
Abstract | ||
|---|---|---|
The source code of highly-configurable software is challenging to comprehend, analyze, and test. In particular, it is hard to identify all configurations that comprise a certain code location. We contribute PCLocator, a tool suite that solves this problem by utilizing static analysis tools for compile-time variability. Using BusyBox and the Variability Bugs Database (VBDb), we evaluate the correctness and performance of PCLocator. The results show that we are able to analyze files in a matter of seconds and derive correct configurations in 95% of all cases. |
Year | Venue | Field |
|---|---|---|
2018 | SPLC | Static program analysis,Programming language,Suite,Source code,Computer science,Correctness,Control engineering,Software,Preprocessor,Software product line |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
12 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Elias Kuiter | 1 | 0 | 0.68 |
| Sebastian Krieter | 2 | 85 | 13.81 |
| Jacob Krüger | 3 | 0 | 1.35 |
| Kai Ludwig | 4 | 0 | 0.34 |
| Thomas Leich | 5 | 925 | 58.39 |
| Gunter Saake | 6 | 3255 | 639.75 |