1. Bernhard K. Aichernig , Wojciech Mostowski , Mohammad Reza Mousavi , Martin Tappler , and Masoumeh Taromirad . 2018 . Model Learning and Model-Based Testing. In Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172 , Dagstuhl Castle , Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science , Vol. 11026), Amel Bennaceur, Reiner Hähnle, and Karl Meinke (Eds.). Springer, 74-- 100 . https://doi.org/10.1007/978-3-319-96562-8_3 10.1007/978-3-319-96562-8_3 Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, and Masoumeh Taromirad. 2018. Model Learning and Model-Based Testing. In Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers (Lecture Notes in Computer Science, Vol. 11026), Amel Bennaceur, Reiner Hähnle, and Karl Meinke (Eds.). Springer, 74--100. https://doi.org/10.1007/978-3-319-96562-8_3
2. Learning regular sets from queries and counterexamples
3. Verification of evolving software via component substitutability analysis
4. Carlos Diego Nascimento Damasceno , Mohammad Reza Mousavi , and Adenilso da Silva Simão . 2019 . Learning to Reuse: Adaptive Model Learning for Evolving Systems. In Integrated Formal Methods - 15th International Conference , IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (LNCS , Vol. 11918), Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa (Eds.). Springer, 138-- 156 . https://doi.org/10.1007/978-3-030-34968-4_8 10.1007/978-3-030-34968-4_8 Carlos Diego Nascimento Damasceno, Mohammad Reza Mousavi, and Adenilso da Silva Simão. 2019. Learning to Reuse: Adaptive Model Learning for Evolving Systems. In Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings (LNCS, Vol. 11918), Wolfgang Ahrendt and Silvia Lizeth Tapia Tarifa (Eds.). Springer, 138--156. https://doi.org/10.1007/978-3-030-34968-4_8
5. Learning by sampling: learning behavioral family models from software product lines