Author:
Devroey Xavier,Perrouin Gilles,Cordy Maxime,Samih Hamza,Legay Axel,Schobbens Pierre-Yves,Heymans Patrick
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference62 articles.
1. Airbus defence & space - sferion: http://www.defenceandsecurity-airbusds.com/fr/sferion
2. ALL4TEC - MaTeLo: http://all4tec.net/index.php/en/model-based-testing/20-markov-test-logic-matelo
3. Asirelli, P., ter Beek, M., Gnesi, S., Fantechi, A.: Formal description of variability in product families. In: Software product line conference (SPLC), 15th International, pp. 130–139 (2011). doi: 10.1109/SPLC.2011.34
4. Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Design and validation of variability in product lines. In: Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE ’11, ACM, New York, 25–30. (2011). doi: 10.1145/1985484.1985492
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Massachusetts (2008)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. VaryMinions: leveraging RNNs to identify variants in variability-intensive systems’ logs;Empirical Software Engineering;2024-06-15
2. Combinatorial Transition Testing in Dynamically Adaptive Systems;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07
3. Family-based Model Checking using Probabilistic Model Checker PRISM;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
4. Variability-aware Behavioural Learning;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B;2023-08-28
5. Test scenario generation for feature-based context-oriented software systems;Journal of Systems and Software;2023-03