Published May 13, 2019
| Version v1
Conference paper
Open
Results and Reproduction Data for "Incremental Product Line Verification: A Performance Experiment with the Dead Code Analysis"
Description
This zip-archive provides our results along with everything required for reproduction (executables, VM-image etc.).