Sampling Configurations From Software Product Lines Via Probability-aware Diversification (PaD) and SAT Solving
gzhuxiangyi / pad-satsolving Goto Github PK
View Code? Open in Web Editor NEWSampling Configurations From Software Product Lines Via Probability-aware Diversification (PaD) and SAT Solving
License: GNU General Public License v3.0