Author:
Apel Sven,Speidel Hendrik,Wendler Philipp,von Rhein Alexander,Beyer Dirk
Cited by
76 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Validating multiple variants of an automotive light system with Alloy 6;International Journal on Software Tools for Technology Transfer;2024-05-23
2. Code-Level Functional Equivalence Checking of Annotative Software Product Lines;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
3. Family-based model checking of fMultiLTL properties;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A;2023-08-28
4. Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
5. Incremental Testing in Software Product Lines—An Event Based Approach;IEEE Access;2023