Publications

Publications by categories in reversed chronological order.

2023

  3. Formal Specification and Testing for Reinforcement Learning
    Varshosaz, Mahsa, Ghaffari, Mohsen, Broch Johnsen, Einar, and Wasowski, Andrzej
    In proceedings of the 28th ACM SIGPLAN International Conference on Functional Programming (ICFP) 2023

2022

  3. Patching Locking Bugs Statically with Crayons
    Cruz-Carlon, Juan Alfredo, Varshosaz, Mahsa, Le Goues, Claire, and Wasowski, Andrzej
    To appear in ACM Trans. Softw. Eng. Methodol. 2022
  6. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review
    Araujo, Hugo, Mousavi, Mohammad Reza, and Varshosaz, Mahsa
    ACM Trans. Softw. Eng. Methodol. 2022
    PDF
  9. Model-Based Testing for System-Level Safety of Autonomous Underwater Robots
    Quijano, Sergio, and Varshosaz, Mahsa
    In 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022 2022

2019

  3. Modal transition system encoding of featured transition systems
    Varshosaz, M., Luthmann, L., Mohr, P., Lochau, M., and Mousavi, M. R.
    J. Log. Algebraic Methods Program. 2019
  6. Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems
    Varshosaz, M., and Mousavi, M. R.
    In Proceedings pf SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019
  9. Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone
    David, J., Mostowski, W., Aramrattna, M., Fan, Y., Varshosaz, M., Karlsson, P., Roden, M., Bogga, A., Carlsen, J., Johansson, E., and Andersson, E.
    In : 2019
  12. 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
    PDF
  15. Towards efficient analysis of variation in time and space
    Thüm, T., Teixeira, L., Schmid, K., Walkingshaw, E., Mukelabai, M., Varshosaz, M., Botterweck, G., Schaefer, I., and Kehrer, T.
    In Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019

2018

  3. 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
    PDF
  6. Basic behavioral models for software product lines: Revisited
    Varshosaz, M., Beohar, H., and Mousavi, M. R.
    Sci. Comput. Program. 2018
    PDF
  9. Telling Lies in Process Algebra
    Mousavi, M. R., and Varshosaz, M.
    In International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018

2016

  3. Basic behavioral models for software product lines: Expressiveness and testing pre-orders
    Beohar, H., Varshosaz, M., and Mousavi, M. R.
    Sci. Comput. Program. 2016
    PDF
  6. Complete IOCO test cases: a case study
    Costa Paiva, S., Simão, A., Varshosaz, M., and Mousavi, M. R.
    In Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST@SIGSOFT FSE 2016, Seattle, WA, USA, November 18, 2016
  9. Generation of Failure Models through Automata Learning,
    Kunze, S., Mostowski, W., Mousavi, M. R., and Varshosaz, M.
    In 2016 Workshop on Automotive Systems/Software Architectures (WASA) 2016

2015

  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
    PDF

2014

  3. Model Checking of Software Product Lines in Presence of Nondeterminism and Probabilities
    Varshosaz, M., and Khosravi, R.
    In 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers 2014

2013

  3. Discrete time Markov chain families: modeling and verification of probabilistic software product lines
    Varshosaz, M., and Khosravi, R.
    In 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 - 30, 2013

2012

  3. Modeling and Verification of Probabilistic Actor Systems Using pRebeca
    Varshosaz, M., and Khosravi, R.
    In Proceedings of Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012