Mahsa Varshosaz

According to our database, Mahsa Varshosaz authored at least 20 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic State Partition for Reinforcement Learning.

Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski

CoRR, 2024

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors.

Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2023

Formal Specification and Testing for Reinforcement Learning.

Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski

Proc. ACM Program. Lang., August, 2023

Formal Specification and Testing for Reinforcement Learning (Supplementary Material ).

Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski

Dataset, June, 2023

Patching Locking Bugs Statically with Crayons.

Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., May, 2023

Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.

Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz

ACM Trans. Softw. Eng. Methodol., April, 2023

2022

Model-Based Testing for System-Level Safety of Autonomous Underwater Robots.

Sergio Quijano, Mahsa Varshosaz

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2019

Modal transition system encoding of featured transition systems.

Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi

J. Log. Algebraic Methods Program., 2019

On the search for industry-relevant regression testing research.

Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz

Empir. Softw. Eng., 2019

Towards efficient analysis of variation in time and space.

Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.

Mahsa Varshosaz, Mohammad Reza Mousavi

Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

2018

Basic behavioral models for software product lines: Revisited.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Sci. Comput. Program., 2018

Telling Lies in Process Algebra.

Mohammad Reza Mousavi, Mahsa Varshosaz

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A classification of product sampling for software product lines.

Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

2016

Basic behavioral models for software product lines: Expressiveness and testing pre-orders.

Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi

Sci. Comput. Program., 2016

Complete IOCO test cases: a case study.

Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi

Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

2015

Delta-Oriented FSM-Based Testing.

Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities.

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Discrete time Markov chain families: modeling and verification of probabilistic software product lines.

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

2012

Modeling and Verification of Probabilistic Actor Systems Using pRebeca.

Mahsa Varshosaz, Ramtin Khosravi

Proceedings of the Formal Methods and Software Engineering, 2012