A classification of product sampling for software product lines M Varshosaz, M Al-Hajjaji, T Thüm, T Runge, MR Mousavi, I Schaefer Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 95 | 2018 |
On the search for industry-relevant regression testing research NB Ali, E Engström, M Taromirad, MR Mousavi, NM Minhas, D Helgesson, ... Empirical Software Engineering 24, 2020-2055, 2019 | 69 | 2019 |
Testing, validation, and verification of robotic and autonomous systems: a systematic review H Araujo, MR Mousavi, M Varshosaz ACM Transactions on Software Engineering and Methodology 32 (2), 1-61, 2023 | 46 | 2023 |
Basic behavioral models for software product lines: Expressiveness and testing pre-orders H Beohar, M Varshosaz, MR Mousavi Science of Computer Programming 123, 42-60, 2016 | 43 | 2016 |
Towards efficient analysis of variation in time and space T Thüm, L Teixeira, K Schmid, E Walkingshaw, M Mukelabai, ... Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 31 | 2019 |
Discrete time Markov chain families: modeling and verification of probabilistic software product lines M Varshosaz, R Khosravi Proceedings of the 17th International Software Product Line Conference Co …, 2013 | 24 | 2013 |
Delta-oriented FSM-based testing M Varshosaz, H Beohar, MR Mousavi Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 19 | 2015 |
Modeling and verification of probabilistic actor systems using pRebeca M Varshosaz, R Khosravi Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 19 | 2012 |
Generation of failure models through automata learning S Kunze, W Mostowski, MR Mousavi, M Varshosaz 2016 Workshop on Automotive Systems/Software Architectures (WASA), 22-25, 2016 | 13 | 2016 |
Basic behavioral models for software product lines: Revisited M Varshosaz, H Beohar, MR Mousavi Science of Computer Programming 168, 171-185, 2018 | 12 | 2018 |
Modal transition system encoding of featured transition systems M Varshosaz, L Luthmann, P Mohr, M Lochau, MR Mousavi Journal of Logical and Algebraic Methods in Programming 106, 1-28, 2019 | 9 | 2019 |
Patching locking bugs statically with crayons J Cruz-Carlon, M Varshosaz, C Le Goues, A Wasowski ACM Transactions on Software Engineering and Methodology 32 (3), 1-28, 2023 | 5 | 2023 |
Test Models and Algorithms for Model-Based Testing of Software Product Lines M Varshosaz Halmstad University Press, 2017 | 5 | 2017 |
Complete ioco test cases: A case study SC Paiva, A Simao, M Varshosaz, MR Mousavi Proceedings of the 7th International Workshop on Automating Test Case Design …, 2016 | 5 | 2016 |
Telling lies in process algebra MR Mousavi, M Varshosaz 2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018 | 4 | 2018 |
Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems M Varshosaz, MR Mousavi SOFSEM 2019: Theory and Practice of Computer Science: 45th International …, 2019 | 3 | 2019 |
Formal Specification and Testing for Reinforcement Learning M Varshosaz, M Ghaffari, EB Johnsen, A Wąsowski Proceedings of the ACM on Programming Languages 7 (ICFP), 125-158, 2023 | 2 | 2023 |
Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone J David, W Mostowski, M Aramrattana, Y Fan, M Varshosaz, P Karlsson, ... IROS 2019-Workshop on Challenges in Vision-based Drones Navigation, Macau …, 2019 | 2 | 2019 |
Modeling and Model-Based Testing of Software Product Lines M Varshosaz Halmstad University Press, 2019 | 2 | 2019 |
Expressive Power and Encoding of Transition System Models for Software Product Lines M Varshosaz, L Luthmann, M Lochau, M Reza Marina Waldén (Editor), 57, 2017 | 1 | 2017 |