Mahsa Varshosaz

I am a postdoc 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. Currently, I am working on automatic program repair for Linux kernel as a part of INSIGH project.

Selected Publications

    1. 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
    2. Basic behavioral models for software product lines: Expressiveness and testing pre-orders
      Beohar, H., Varshosaz, M., and Mousavi, M. R.
      Sci. Comput. Program. 2016
    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
    4. Basic behavioral models for software product lines: Revisited
      Varshosaz, M., Beohar, H., and Mousavi, M. R.
      Sci. Comput. Program. 2018
    5. 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


Program Committee member/Organization:
  • Empirical Software Engineering Journal (EMSE), Journal of Systems and Software (JSS), Science of Computer Programming Journal, 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