Follow
Faezeh Siavashi
Faezeh Siavashi
Postdoctoral Researcher, McMaster University, Canada
Verified email at mcmaster.ca
Title
Cited by
Cited by
Year
Environment modeling in model-based testing: concepts, prospects and research challenges: a systematic literature review
F Siavashi, D Truscan
Proceedings of the 19th International Conference on Evaluation and …, 2015
192015
Vulnerability assessment of web services with model-based mutation testing
F Siavashi, D Truscan, J Vain
2018 IEEE international conference on software quality, reliability and …, 2018
112018
Testing Web Services with Model-Based Mutation
F Siavashi, J Iqbal, D Truscan, J Vain
International Conference on Software Technologies, 45-67, 2017
112017
On mutating UPPAAL timed automata to assess robustness of web services
F Siavashi, D Truscan, J Vain
International Conference on Software Engineering and Applications 2, 15-26, 2016
52016
A practical application of uppaal and dtron for runtime verification
D Truscan, T Ahmad, F Siavashi, P Tuuttila
2015 IEEE/ACM 2nd International Workshop on Software Engineering Research …, 2015
52015
Scenario-based design and validation of REST web service compositions
I Rauf, F Siavashi, D Truscan, I Porres
Web Information Systems and Technologies: 10th International Conference …, 2015
42015
An integrated approach for designing and validating rest web service compositions
I Rauf, F Siavashi, D Truscan, I Porres
International Conference on Web Information Systems and Technologies 2, 104-115, 2014
42014
A systematic literature review on environment modeling techniques in model-based testing
F Siavashi, D Truscan
Turku Centre Comput. Sci., Turku, Finland, Tech. Rep 1129, 2015
32015
An Integrated Approach to Design and Validate REST Web Service Compositions
I Rauf, F Siavashi, D Truscan, I Porres
Technical Report 1097, 2013
32013
MODELLING CRITICAL SYSTEMS WITH TIME CONSTRAINTS IN EVENT-B
F Siavashi
Master’s thesis. Åbo Akademi University, 2012
32012
Modeling critical systems with timing constraints in Event-B
MF Siavashi, M Waldén, L Tsiopoulos, J Vain
International Conference on Software Engineering, Artificial Intelligence …, 2013
22013
Bridging the Gap Between System Architecture and Software Design using Model Transformation
F Siavashi, HH Rodriguez, V Pantelic, M Lawford, RF Paige, M Jaskolka, ...
2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023
12023
Environment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges
F Siavashi, D Truscan
Proc. 19th International Conference on Evaluation and Assessment in Software …, 2015
12015
Addressing the shortcomings of commercial-of-the-shelf model-to-model transformations with open-source tools; from SysML to AUTOSAR
H Hoyos Rodriguez, F Siavashi, M Jaskolka, V Pantelic, M Lawford, ...
NA, 2024
2024
An Automotive Architecture Product Line for E/E Powertrain Architectures
HH Rodriguez, NG Muralidharan, F Siavashi, V Pantelic, V Bandur, ...
2023 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2023
2023
Model-based Verification and Testing of Web services: Functionality, Robustness and Vulnerability Analysis
F Siavashi
Åbo Akademi-Åbo Akademi University, 2020
2020
Environment modeling in model-based testing
F Siavashi, D Truscan
Proceedings of the 19th International Conference on Evaluation and …, 2015
2015
1st Workshop on Model-Based Systems Engineering (MBSE 2023)
A Di Salle, L Iovino, L Mariani, J Cederbladh, L Cleophas, E Kamburjan, ...
The system can't perform the operation now. Try again later.
Articles 1–18