SAT Instances for Testing SFpC Validity and Reliability

Name: SAT Instances for Testing SFpC Validity and Reliability
Keywords: Variability modeling, Configurable Systems, Uniform Sampling, SAT, Binary Decision Diagrams, BDD, Software Product Lines

Research datakeyboard_double_arrow_right Dataset 15 Sep 2021Publisher:Zenodo

Authors: Heradio, Ruben; Fernandez-Amoros, David;

doi: 10.5281/zenodo.5509946 , 10.5281/zenodo.5509947

SAT Instances for Testing SFpC Validity and Reliability

- Summary
- Subjects
- Related research
  (1)
- Metrics

Abstract

Random SAT samples generated with the following samplers: BDDSampler KUS QuickSampler Smarch Spur Unigen2 These samples are used to check SFpC Soundness, i.e., to test whether SFpC produces results that are (i) valid and (ii) reliable. In other words, are SFpC results consistent (i) with the results obtained by other uniformity testing methods and (ii) when one sampler is tested repeatedly using different models?

This dataset has been funded by (i) the Universidad Nacional de Educacion a Distancia (UNED) under grant 096-034091 2021V/PUNED/008 (OPTIVAC), and (ii) the Community of Madrid, under the research network CAM RoboCity2030 S2018/NMT-4331.

Related Organizations

National University of Distance Education
Spain

Keywords

Variability modeling, Configurable Systems, Uniform Sampling, SAT, Binary Decision Diagrams, BDD, Software Product Lines

1 Research products, page 1 of 1

SAT Instances for Testing Random Samplers' Uniformity
2021IsAmongTopNSimilarDocuments

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average