Sampling configurations from software product lines via probability-aware diversification and SAT solving.
Yi XiangXiaowei YangHan HuangZhengxin HuangMiqing LiPublished 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