Results and Reproduction Data for "Incremental Product Line Verification: A Performance Experiment with the Dead Code Analysis"
Overview & Synopsis
This zip-archive provides our results along with everything required for reproduction (executables, VM-image etc.).
Indexed from repository: Zenodo
(
zenodo.org)
Document Information
| Document Title | Results and Reproduction Data for "Incremental Product Line Verification: A Performance Experiment with the Dead Code Analysis" |
|---|---|
| Author / Organization | Anonymous-Author, Anonymous-Author, Anonymous-Author |
| Subject & Discipline | Scientific Research & Data |
| Categories | Science & Mathematics |
| Publication Year | 2019 |
| License / Rights | gpl-2.0 |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
Zenodo
(zenodo.org)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-10356 |
| Original Source Link | Visit Source Page on zenodo.org » |