Follow
Mahsa Varshosaz
Title
Cited by
Cited by
Year
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
952018
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
692019
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
462023
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
432016
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
312019
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
242013
Delta-oriented FSM-based testing
M Varshosaz, H Beohar, MR Mousavi
Formal Methods and Software Engineering: 17th International Conference on …, 2015
192015
Modeling and verification of probabilistic actor systems using pRebeca
M Varshosaz, R Khosravi
Formal Methods and Software Engineering: 14th International Conference on …, 2012
192012
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
132016
Basic behavioral models for software product lines: Revisited
M Varshosaz, H Beohar, MR Mousavi
Science of Computer Programming 168, 171-185, 2018
122018
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
92019
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
52023
Test Models and Algorithms for Model-Based Testing of Software Product Lines
M Varshosaz
Halmstad University Press, 2017
52017
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
52016
Telling lies in process algebra
MR Mousavi, M Varshosaz
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
42018
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
32019
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
22023
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
22019
Modeling and Model-Based Testing of Software Product Lines
M Varshosaz
Halmstad University Press, 2019
22019
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
12017
The system can't perform the operation now. Try again later.
Articles 1–20