Mahsa Varshosaz
Title
Cited by
Cited by
Year
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
382016
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
342018
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
192013
Delta-oriented FSM-based testing
M Varshosaz, H Beohar, MR Mousavi
International Conference on Formal Engineering Methods, 366-381, 2015
152015
Modeling and verification of probabilistic actor systems using pRebeca
M Varshosaz, R Khosravi
International Conference on Formal Engineering Methods, 135-150, 2012
142012
On the search for industry-relevant regression testing research
N Bin Ali, E Engström, M Taromirad, MR Mousavi, NM Minhas, ...
Empirical Software Engineering 24 (4), 2020-2055, 2019
112019
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
102019
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
92016
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
52019
Basic behavioral models for software product lines: Revisited
M Varshosaz, H Beohar, MR Mousavi
Science of Computer Programming 168, 171-185, 2018
52018
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
32016
Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
M Varshosaz, MR Mousavi
International Conference on Current Trends in Theory and Practice of …, 2019
12019
Modeling and Model-Based Testing of Software Product Lines
M Varshosaz
Halmstad University Press, 2019
12019
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
Test Models and Algorithms for Model-Based Testing of Software Product Lines
M Varshosaz
Halmstad University Press, 2017
12017
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities
M Varshosaz, R Khosravi
2014 21st Asia-Pacific Software Engineering Conference 1, 63-70, 2014
12014
Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
J David, W Mostowski, M Aramrattna, Y Fan, M Varshosaz, P Karlsson, ...
IROS 2019-Workshop on Challenges in Vision-based Drones Navigation, Macau …, 2019
2019
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems
C Canal, G Salaün
Science of Computer Programming 168, 169-170, 2018
2018
Telling Lies in Process Algebra
MR Mousavi, M Varshosaz
2018 International Symposium on Theoretical Aspects of Software Engineering …, 2018
2018
Sub-Reviewers
A Turrini, M Bernardo, N Jansen, J Jerray, Y Yang, F Sheng, Y Li, L Fang, ...
The system can't perform the operation now. Try again later.
Articles 1–20