E-LIB Suche - Ergebnisse für: Varshosaz, Mahsa

1

Proceedings of the 27th ACM International Systems and Softw..:

Arcaini, Paolo ; Beek, Maurice H. ter ; Perrouin, Gilles... , 2023

2

Testing, Validation, and Verification of Robotic and Autono..:

Araujo, Hugo ; Mousavi, Mohammad Reza ; Varshosaz, Mahsa
ACM Transactions on Software Engineering and Methodology. 32 (2023) 2 - p. 1-61 , 2023

Link: https://doi.org/10.1145/..

3

Patching Locking Bugs Statically with Crayons:

Cruz-Carlon, Juan ; Varshosaz, Mahsa ; Le Goues, Claire.
ACM Transactions on Software Engineering and Methodology. 32 (2023) 3 - p. 1-28 , 2023

Link: https://doi.org/10.1145/..

4

Formal Specification and Testing for Reinforcement Learning:

Varshosaz, Mahsa ; Ghaffari, Mohsen ; Johnsen, Einar Broch.
Proceedings of the ACM on Programming Languages. 7 (2023) ICFP - p. 125-158 , 2023

Link: https://doi.org/10.1145/..

5

Model-Based Testing for System-Level Safety of Autonomous U..:

, In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST),

Quijano, Sergio ; Varshosaz, Mahsa - p. 486-488 , 2022

Link: https://doi.org/10.1109/..

6

Towards Efficient Analysis of Variation in Time and Space:

, In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B,

Thüm, Thomas ; Teixeira, Leopoldo ; Schmid, Klaus... - p. 57-64 , 2019

Link: https://dl.acm.org/doi/1..

7

Comparative Expressiveness of Product Line Calculus of Comm..:

, In: SOFSEM 2019: Theory and Practice of Computer Science; Lecture Notes in Computer Science,

Varshosaz, Mahsa ; Mousavi, Mohammad Reza - p. 490-503 , 2019

Link: https://doi.org/10.1007/..

8

On the search for industry-relevant regression testing rese..:

Ali, Nauman bin ; Engström, Emelie ; Taromirad, Masoumeh...
Empirical Software Engineering. 24 (2019) 4 - p. 2020-2055 , 2019

Link: https://doi.org/10.1007/..

9

Modal transition system encoding of featured transition sys..:

Varshosaz, Mahsa ; Luthmann, Lars ; Mohr, Paul..
Journal of Logical and Algebraic Methods in Programming. 106 (2019) - p. 1-28 , 2019

Link: https://doi.org/10.1016/..

10

A classification of product sampling for software product l..:

, In: Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1,

Varshosaz, Mahsa ; Al-Hajjaji, Mustafa ; Thüm, Thomas... - p. 1-13 , 2018

Link: https://dl.acm.org/doi/1..

11

Basic behavioral models for software product lines: Revisit..:

Varshosaz, Mahsa ; Beohar, Harsh ; Mousavi, Mohammad Reza
Science of Computer Programming. 168 (2018) - p. 171-185 , 2018

Link: https://doi.org/10.1016/..

12

Basic behavioral models for software product lines: Express..:

Beohar, Harsh ; Varshosaz, Mahsa ; Mousavi, Mohammad Reza
Science of Computer Programming. 123 (2016) - p. 42-60 , 2016

Link: https://doi.org/10.1016/..

13

Complete IOCO test cases: a case study:

, In: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation,

Paiva, Sofia Costa ; Simao, Adenilso ; Varshosaz, Mahsa. - p. 38-44 , 2016

Link: https://dl.acm.org/doi/1..

14

Discrete time Markov chain families : modeling and verif..:

, In: Proceedings of the 17th International Software Product Line Conference co-located workshops,

Varshosaz, Mahsa ; Khosravi, Ramtin - p. 34-41 , 2013

Link: https://dl.acm.org/doi/1..

15

Formal Specification and Testing for Reinforcement Learning..:

Varshosaz, Mahsa ; Ghaffari, Mohsen ; Johnsen, Einar Broch.
doi:10.5281/zenodo.7992895. , 2023

Link: https://zenodo.org/recor..