Faezeh Siavashi
Faezeh Siavashi
Doctoral student, Åbo Akademi University, Finland
Verified email at abo.fi
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
162015
Testing Web Services with Model-Based Mutation
F Siavashi, J Iqbal, D Truscan, J Vain
International Conference on Software Technologies, 45-67, 2017
52017
On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services.
F Siavashi, D Truscan, J Vain
ICSOFT-EA, 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
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
42018
Scenario-based design and validation of rest web service compositions
I Rauf, F Siavashi, D Truscan, I Porres
International Conference on Web Information Systems and Technologies, 145-160, 2014
42014
An Integrated Approach for Designing and Validating REST Web Service Compositions.
I Rauf, F Siavashi, D Truscan, I Porres
WEBIST (1), 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
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
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
12013
Model-based Verification and Testing of Web services: Functionality, Robustness and Vulnerability Analysis
F Siavashi
Åbo Akademi-Åbo Akademi University, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–13