Efficient software product-line model checking using induction and a SAT solver-Reference-Cited by-同舟云学术

Efficient software product-line model checking using induction and a SAT solver

Published:2018-02-07 Issue:2 Volume:12 Page:264-279
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

He Fei,Gao Yuan,Yin Liangze

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/article/10.1007/s11704-016-6048-7/fulltext.html

Reference50 articles.

1. Clements P, Northrop L. Software Product Lines: Practices and Patterns. Boston, MA: Addison-Wesley, 2002

2. Pohl K, Böckle G, Van Der Linden F. Software Product Line Engineering. Berlin: Springer, 2005

3. Thüm T, Apel S, Kästner C, Schaefer I, Saake G. A classification and survey of analysis strategies for software product lines. ACM Computing Surveys, 2014, 47(1): 6

4. Galster M, Weyns D, Tofan D, Michalik B, Avgeriou P. Variability in software systems — a systematic literature review. IEEE Transactions on Software Engineering, 2014, 40(3): 282–306

5. Dordowsky F, Hipp W. Adopting software product line principles to manage software variants in a complex avionics system. In: Proceedings of the 13th International Software Product Line Conference. 2009, 265–274

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Quantum hybrid algorithm for solving SAT problem;Engineering Applications of Artificial Intelligence;2023-05

2. A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation;JUCS - Journal of Universal Computer Science;2021-07-28

3. Towards functional verifying a family of systemC TLMs;Frontiers of Computer Science;2019-03-07

4. A SAT-Based Formal Approach for Verifying Business Process Configuration;Communications in Computer and Information Science;2019

5. An Automated Fault Tree Generation Approach With Fault Configuration Based on Model Checking;IEEE Access;2018