Author:
Dimovski Aleksandar S.,Legay Axel,Wasowski Andrzej
Subject
General Computer Science,Theoretical Computer Science
Reference37 articles.
1. Software Product Lines: Practices and Patterns;Clements,2001
2. Software Product Line Engineering: Foundations, Principles and Techniques;Pohl,2005
3. Embedded software: facts, figures, and future;Ebert;IEEE Comput.,2009
4. Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking;Classen;IEEE Trans. Softw. Eng.,2013
5. Model checking software product lines with SNIP;Classen;Int. J. Softw. Tools Technol. Transf.,2012
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic Fault Localization for Mutation-based Program Repair;2024 13th Mediterranean Conference on Embedded Computing (MECO);2024-06-11
2. Daedalux: An Extensible Platform for Variability-Aware Model Checking;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
3. Synthesizing Promela model sketches using abstract lifted model checking;International Journal of Information Technology;2023-10-12
4. Family-based model checking of fMultiLTL properties;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
5. On Verifying Temporal Properties of Configurable Software;2023 12th Mediterranean Conference on Embedded Computing (MECO);2023-06-06