Mahsa Varshosaz

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 13

Top Topics

Transition Systems

Behavioral Models

Top Venues

ACM Trans. Softw. Eng. Methodol.

Sci. Comput. Program.

Publications

Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski
Patching Locking Bugs Statically with Crayons. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
Formal Specification and Testing for Reinforcement Learning. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Sergio Quijano, Mahsa Varshosaz
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. ICST (2022)
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
Modal transition system encoding of featured transition systems. J. Log. Algebraic Methods Program. 106 (2019)
Mahsa Varshosaz, Mohammad Reza Mousavi
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems. SOFSEM (2019)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
Towards efficient analysis of variation in time and space. SPLC (B) (2019)
Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz
On the search for industry-relevant regression testing research. Empir. Softw. Eng. 24 (4) (2019)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Revisited. Sci. Comput. Program. 168 (2018)
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
A classification of product sampling for software product lines. SPLC (2018)
Mohammad Reza Mousavi, Mahsa Varshosaz
Telling Lies in Process Algebra. TASE (2018)
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
Complete IOCO test cases: a case study. A-TEST@SIGSOFT FSE (2016)
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
Basic behavioral models for software product lines: Expressiveness and testing pre-orders. Sci. Comput. Program. 123 (2016)
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
Delta-Oriented FSM-Based Testing. ICFEM (2015)
Mahsa Varshosaz, Ramtin Khosravi
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities. APSEC (1) (2014)
Mahsa Varshosaz, Ramtin Khosravi
Discrete time Markov chain families: modeling and verification of probabilistic software product lines. SPLC Workshops (2013)
Mahsa Varshosaz, Ramtin Khosravi
Modeling and Verification of Probabilistic Actor Systems Using pRebeca. ICFEM (2012)