Login / Signup
Mahsa Varshosaz
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 13
Top Topics
Transition Systems
Behavioral Models
Markov Chain
Test Cases
Top Venues
ACM Trans. Softw. Eng. Methodol.
Sci. Comput. Program.
SPLC Workshops
ICST
</>
Publications
</>