Login / Signup
Sampling configurations from software product lines via probability-aware diversification and SAT solving.
Yi Xiang
Xiaowei Yang
Han Huang
Zhengxin Huang
Miqing Li
Published in:
Autom. Softw. Eng. (2022)
Keyphrases
</>
sat solving
software product line
sat solvers
software engineering
learning methodologies
boolean satisfiability
probability distribution
life cycle
adult literacy
future directions
sat problem
search strategies
software development
search tree
artificial intelligence
test suite
tabu search
upper bound
clause learning
object oriented
relational databases