Mahsa Varshosaz

I am an assistant professor in Software Quality Research group at IT University of Copenhagen. My research is mostly focused on quality assurance and safety of software systems. I am interested in both theoretical and practical aspects of modeling, testing and verification of systems and the challenges in application of such techniques in different domains. I have experience with application of model-based testing techniques for families of software systems also known as software product lines. My latest research includes testing of underwater robotic systems in REMARO project and automatic program repair for large code bases such as Linux kernel.

Selected Publications

    1. Formal Specification and Testing for Reinforcement Learning
      Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, and Wasowski, Andrzej
      Proc. ACM Program. Lang. 2023
    2. 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
    3. Patching Locking Bugs Statically with Crayons
      Cruz-Carlon, Juan, Varshosaz, Mahsa, Le Goues, Claire, and Wasowski, Andrzej
      ACM Trans. Softw. Eng. Methodol. 2023
    4. 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
    5. 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
    6. Basic behavioral models for software product lines: Revisited
      Varshosaz, M., Beohar, H., and Mousavi, M. R.
      Sci. Comput. Program. 2018
    7. Basic behavioral models for software product lines: Expressiveness and testing pre-orders
      Beohar, H., Varshosaz, M., and Mousavi, M. R.
      Sci. Comput. Program. 2016
    8. 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


Editorial Activities:
Program Committee member/Organization:
  • ACM Transactions on Software Engineering and Methodology (TOSEM), Empirical Software Engineering Journal (EMSE), Journal of Systems and Software (JSS), Science of Computer Programming Journal (SCP), SoSyM, PeerJ Journal, e-Informatica Software Engineering Journal
  • CILC 2013, ACSD 2014, FOR-MOVES 2014, FSEN 2015, FormaliSE 2015, Coordination 2015, FSEN 2015, TTCS 2015, ICFEM 2015, TASE 2016, ACSD 2016, SEFM 2016, ICFEM 2016, FM 2016, FSEN 2017, ICTAC 2017, ICFEM 2017, HLDVT 2017, VAMOS 2018, SBMF 2018, CONCUR 2023