Adaptive behavioral model learning for software product lines-Reference-Cited by-同舟云学术

Adaptive behavioral model learning for software product lines

Published:2022-09-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A
language:
Short-container-title:

Author:

Tavassoli Shaghayegh¹,Damasceno Carlos Diego N.²,Khosravi Ramtin¹,Mousavi Mohammad Reza³

Affiliation:

1. University of Tehran, Tehran, IR

2. Radboud University Nijmegen, Nijmegen, NL

3. King's College London, London, UK

Funder

The work of Mohammad Reza Mousavi was partially supported by the UKRI Trustworthy Autonomous Systems Node in Verifiability

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3546932.3546991

Reference42 articles.

1. Ra'Fat Al-Msie'deen , Marianne Huchard , Abdelhak Seriai , Christelle Urtado , and Sylvain Vauttier . 2014 . Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis . In Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications , Košice, Slovakia, October 7--10 , 2014 (CEUR Workshop Proceedings, Vol. 1252), Karell Bertet and Sebastian Rudolph (Eds.). CEUR-WS.org, 95-- 106 . http://ceur-ws.org/Vol-1252/cla2014_submission_13.pdf Ra'Fat Al-Msie'deen, Marianne Huchard, Abdelhak Seriai, Christelle Urtado, and Sylvain Vauttier. 2014. Reverse Engineering Feature Models from Software Configurations using Formal Concept Analysis. In Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7--10, 2014 (CEUR Workshop Proceedings, Vol. 1252), Karell Bertet and Sebastian Rudolph (Eds.). CEUR-WS.org, 95--106. http://ceur-ws.org/Vol-1252/cla2014_submission_13.pdf

2. Learning regular sets from queries and counterexamples

3. A Development Process for Feature-Oriented Product Lines

4. Automated analysis of feature models 20 years later: A literature review

5. Sagar Chaki , Edmund Clarke , Natasha Sharygina , and Nishant Sinha . 2008. Verification of evolving software via component substitutability analysis. Formal Methods in System Design 32, 3 (01 Jun 2008 ), 235--266. Sagar Chaki, Edmund Clarke, Natasha Sharygina, and Nishant Sinha. 2008. Verification of evolving software via component substitutability analysis. Formal Methods in System Design 32, 3 (01 Jun 2008), 235--266.

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

1. Efficient construction of family-based behavioral models from adaptively learned models;Software and Systems Modeling;2024-08-07

2. A Demonstration of End-User Code Customization Using Generative AI;Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems;2024-02-07

3. Automaton Model Updating Based on the L* Algorithm;Proceedings of the 2023 7th International Conference on Computing and Data Analysis;2023-09-15

4. Generative AI for Reengineering Variants into Software Product Lines;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B;2023-08-28

5. Variability-aware Behavioural Learning;Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B;2023-08-28