Publications

Publications by categories in reversed chronological order.

2024

  3. Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
    Quijano, Sergio, Varshosaz, Mahsa, and Wasowski, Andrzej
    In Workshop on Advances in Model Based Testing (A-MOST 2024), co-located with the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024)–To appear 2024

2023

  3. Formal Specification and Testing for Reinforcement Learning
    Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, and Wasowski, Andrzej
    Proc. ACM Program. Lang. 2023
  6. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
    Silva Araujo, Hugo Leonardo, Mousavi, Mohammad Reza, and Varshosaz, Mahsa
    ACM Trans. Softw. Eng. Methodol. 2023
  9. Patching Locking Bugs Statically with Crayons
    Cruz-Carlon, Juan, Varshosaz, Mahsa, Le Goues, Claire, and Wasowski, Andrzej
    ACM Trans. Softw. Eng. Methodol. 2023

2022

  3. Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
    Quijano, Sergio, and Varshosaz, Mahsa
    In 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022 2022

2019

  3. Modal transition system encoding of featured transition systems
    Varshosaz, M., Luthmann, L., Mohr, P., Lochau, M., and Mousavi, M. R.
    J. Log. Algebraic Methods Program. 2019
  6. Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems
    Varshosaz, M., and Mousavi, M. R.
    In Proceedings pf SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019
  9. Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
    David, J., Mostowski, W., Aramrattna, M., Fan, Y., Varshosaz, M., Karlsson, P., Roden, M., Bogga, A., Carlsen, J., Johansson, E., and Andersson, E.
    In : 2019
  12. On the search for industry-relevant regression testing research
    Bin Ali, N., Engström, E., Taromirad, M., Mousavi, M. R., Mehmood Minhas, N., Helgesson, D., Kunze, S., and Varshosaz, M.
    Empirical Software Engineering 2019
    PDF
  15. Towards efficient analysis of variation in time and space
    Thüm, T., Teixeira, L., Schmid, K., Walkingshaw, E., Mukelabai, M., Varshosaz, M., Botterweck, G., Schaefer, I., and Kehrer, T.
    In Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019

2018

  3. A classification of product sampling for software product lines
    Varshosaz, M., Al-Hajjaji, M., Thüm, T., Runge, T., Mousavi, M. R., and Schaefer, I.
    In Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
    PDF
  6. Basic behavioral models for software product lines: Revisited
    Varshosaz, M., Beohar, H., and Mousavi, M. R.
    Sci. Comput. Program. 2018
    PDF
  9. Telling Lies in Process Algebra
    Mousavi, M. R., and Varshosaz, M.
    In International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018

2016

  3. Basic behavioral models for software product lines: Expressiveness and testing pre-orders
    Beohar, H., Varshosaz, M., and Mousavi, M. R.
    Sci. Comput. Program. 2016
    PDF
  6. Complete IOCO test cases: a case study
    Costa Paiva, S., Simão, A., Varshosaz, M., and Mousavi, M. R.
    In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016
  9. Generation of Failure Models through Automata Learning,
    Kunze, S., Mostowski, W., Mousavi, M. R., and Varshosaz, M.
    In 2016 Workshop on Automotive Systems/Software Architectures (WASA) 2016

2015

  3. Delta-Oriented FSM-Based Testing
    Varshosaz, M., Beohar, H., and Mousavi, M. R.
    In Proceedings of Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015
    PDF

2014

  3. Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities
    Varshosaz, M., and Khosravi, R.
    In 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers 2014

2013

  3. Discrete time Markov chain families: modeling and verification of probabilistic software product lines
    Varshosaz, M., and Khosravi, R.
    In 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 - 30, 2013

2012

  3. Modeling and Verification of Probabilistic Actor Systems Using pRebeca
    Varshosaz, M., and Khosravi, R.
    In Proceedings of Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012