Mahsa Varshosaz
I am an associate 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
-
Formal Specification and Testing for Reinforcement LearningProc. ACM Program. Lang. 2023
-
Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic ReviewACM Trans. Softw. Eng. Methodol. 2023
-
Patching Locking Bugs Statically with CrayonsACM Trans. Softw. Eng. Methodol. 2023
-
On the search for industry-relevant regression testing researchEmpirical Software Engineering 2019
-
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: RevisitedSci. Comput. Program. 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
Services
Editorial Activities:Program Committee member/Organization:
- PC member of research/doctoral symposium tracks in SPLC 2024
- International Workshop on Robotics Software Engineering (RoSE’24)
- SVT-SAC 2024 - Software Verification and Testing Track (SVT) in SAC
- ITEQS 2024
- Co-Chair of Tutorials track and PC member in research/doctoral symposium tracks in SPLC 2023
- SVT-SAC 2023 - Software Verification and Testing Track (SVT) in SAC
- DeepTest 2023
- ITEQS 2023
- FMDT 2023 Applications of Formal Methods and Digital Twins
- ECOOP 2022 Doctoral Symposium - 36th European Conference on Object-Oriented Programming
- FORTE 2022 - 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems
- SVT-SAC 2022 - Software Verification and Testing Track (SVT) in SAC
- QAVS 2022-Third Workshop on Quntitative Aspects of Variant-Rich Systems
- ITEQS 2022 - The 6th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
- Co-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:
- 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
Selected talks and research visits
- Joint tutorial on Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches, ICTAC 2023
- Invited speaker at Trustworthy Autonomous Systems Verifiability Node talk series, 2023
- Shonan seminar: Formal Methods for Trustworthy AI-based Autonomous Systems, 2023
- Dagstuhl Seminar: Software Evolution in Time and Space: Unifying Version and Variability Management, 2019
- Shonan seminar: Reverse Execution in Testing –Improving Security and Reliability, 2017