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
-
A classification of product sampling for software product linesIn Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018
-
Basic behavioral models for software product lines: Expressiveness and testing pre-ordersSci. Comput. Program. 2016
-
Delta-Oriented FSM-Based TestingIn Proceedings of Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015
-
Basic behavioral models for software product lines: RevisitedSci. Comput. Program. 2018
-
On the search for industry-relevant regression testing researchEmpirical Software Engineering 2019
Services
Program Committee member/Organization:- Chair of Doctoral Symposium in SPLC 2021
- QAVS 2021
- DeepTest 2021
- ITEQS 2021
- SPLC 2020, ITEQS 2020, VariVolusion 2020, QAVS 2020, SBMF 2019, VariVolusion 2019
Reviewer:
- 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