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 | 19 | 2015 |
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 | 12 | 2018 |
Testing Web Services with Model-Based Mutation F Siavashi, J Iqbal, D Truscan, J Vain International Conference on Software Technologies, 45-67, 2017 | 12 | 2017 |
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 | 5 | 2016 |
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 | 5 | 2015 |
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 | 4 | 2015 |
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 | 4 | 2014 |
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 | 3 | 2015 |
An Integrated Approach to Design and Validate REST Web Service Compositions I Rauf, F Siavashi, D Truscan, I Porres Technical Report 1097, 2013 | 3 | 2013 |
MODELLING CRITICAL SYSTEMS WITH TIME CONSTRAINTS IN EVENT-B F Siavashi Master’s thesis. Åbo Akademi University, 2012 | 3 | 2012 |
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 | 2 | 2023 |
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 | 2 | 2013 |
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 | 1 | 2015 |
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, ... | | |