Mahsa Varshosaz

25 papers A 1B 4C 2Misc 1Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
ProbTest: Unit Testing for Probabilistic Programs (Extended Version).
CoRR
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
2025 B conf
ProbTest: Unit Testing for Probabilistic Programs.
SEFM
Katrine Christensen, Mahsa Varshosaz, Raúl Pardo
2025 B conf
Symbolic State Partitioning for Reinforcement Learning.
FASE
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2025 — conf
Symbolic State Seeding Improves Coverage of Reinforcement Learning.
SEAMS@ICSE
Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2024 — conf
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors.
ICSTW
Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski
2024 — conf
Monitoring Safety and Reliability of Underwater Robots: A Case Study.
AISoLA
Mahsa Varshosaz, Andrzej Wasowski
2024 J jnl
Symbolic State Partition for Reinforcement Learning.
CoRR
Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wasowski
2023 J jnl
Formal Specification and Testing for Reinforcement Learning.
Proc. ACM Program. Lang.
Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wasowski
2023 J jnl
Patching Locking Bugs Statically with Crayons.
ACM Trans. Softw. Eng. Methodol.
Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski
2023 — ed.
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023
SPLC (A)
Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki
2023 J jnl
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review.
ACM Trans. Softw. Eng. Methodol.
Hugo Leonardo da Silva Araujo, Mohammad Reza Mousavi, Mahsa Varshosaz
2022 A conf
Model-Based Testing for System-Level Safety of Autonomous Underwater Robots.
ICST
Sergio Quijano, Mahsa Varshosaz
2019 B conf
Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems.
SOFSEM
Mahsa Varshosaz, Mohammad Reza Mousavi
2019 J jnl
Modal transition system encoding of featured transition systems.
J. Log. Algebraic Methods Program.
Mahsa Varshosaz, Lars Luthmann, Paul Mohr, Malte Lochau, Mohammad Reza Mousavi
2019 J jnl
On the search for industry-relevant regression testing research.
Empir. Softw. Eng.
Nauman Bin Ali, Emelie Engström, Masoumeh Taromirad, Mohammad Reza Mousavi, Nasir Mehmood Minhas, Daniel Helgesson, Sebastian Kunze, Mahsa Varshosaz
2019 — conf
Towards efficient analysis of variation in time and space.
SPLC (B)
Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer
2018 B conf
A classification of product sampling for software product lines.
SPLC
Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer
2018 J jnl
Basic behavioral models for software product lines: Revisited.
Sci. Comput. Program.
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2018 Misc conf
Telling Lies in Process Algebra.
TASE
Mohammad Reza Mousavi, Mahsa Varshosaz
2016 J jnl
Basic behavioral models for software product lines: Expressiveness and testing pre-orders.
Sci. Comput. Program.
Harsh Beohar, Mahsa Varshosaz, Mohammad Reza Mousavi
2016 — conf
Complete IOCO test cases: a case study.
A-TEST@SIGSOFT FSE
Sofia Larissa da Costa Paiva, Adenilso Simão, Mahsa Varshosaz, Mohammad Reza Mousavi
2015 C conf
Delta-Oriented FSM-Based Testing.
ICFEM
Mahsa Varshosaz, Harsh Beohar, Mohammad Reza Mousavi
2014 — conf
Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities.
APSEC (1)
Mahsa Varshosaz, Ramtin Khosravi
2013 — conf
Discrete time Markov chain families: modeling and verification of probabilistic software product lines.
SPLC Workshops
Mahsa Varshosaz, Ramtin Khosravi
2012 C conf
Modeling and Verification of Probabilistic Actor Systems Using pRebeca.
ICFEM
Mahsa Varshosaz, Ramtin Khosravi