IT@ÅA
  • Research
  • Education
  • People
  • Projects
  • Publications

Faezeh Siavashi

PhD student

Email:
faezeh.siavashi@abo.fi
Room:
344H , Details

Location of room

Website(s):
https://fi.linkedin.com/pub/faezeh-siavashi/4b/bb2/540
Faezeh Siavashi

Research Expertise

software engineering model driven software development software testing model-based testing model checking verification environment modeling

Publications

Chapters in edited books 2

Siavashi, Faezeh and Iqbal, Junaid and Truscan, Dragos and Vain, Juri, Testing Web Services with Model-Based Mutation. In: Software Technologies. Cabello, Enrique and Cardoso, Jorge and Ludwig, Andre and Maciaszek, Leszek A. and van Sinderen, Marten (Eds.). Springer, 2017 2
Rauf, Irum and Siavashi, Faezeh and Truscan, Dragos and Porres, Ivan, Scenario-Based Design and Validation of REST Web Service Compositions. In: Web Information Systems and Technologies. Monfort, Valérie and Krempels, Karl-Heinz (Eds.). Lecture Notes in Business Information Processing Springer, 2015 2

Articles in proceedings 7

Siavashi, Faezeh and Truscan, Dragos and Vain, Jüri, Vulnerability Assessment of Web Services with Model-based Mutation Testing. In: 2018 IEEE International Conference on Software Quality, Reliability and Security. N, N (Eds.). IEEE, 2018
Siavashi, Faezeh and Truscan, Dragos and Vain, Juri, Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS). N., N. (Eds.). IEEE, 2018 1
Siavashi, Faezeh and Truscan, Dragos and Rauf, Irum and Vain, Juri, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Proceedings of the 11th International Joint Conference on Software Technologies. Maciaszek, Leszek and Cardoso, Jorge and Ludwig, André and Sinderen, Marten van and Cabello, Enrique (Eds.). SCITEPRESS-Science and Technology Publications, 2016 1
Siavashi, Faezeh and Truscan, Dragos, Environment Modeling in Model-Based Testing: Concepts, Prospects and Research Challenges. A Systematic Literature Review. In: 19th International Conference on Evaluation and Assessment in Software Engineering. Zhang, He and Babar, Muhammad Ali (Eds.). ACM, 2015 1
Truscan, Dragos and Ahmad, Tanwir and Siavashi, Faezeh and Tuuttila, Pekka, A Practical Application of UPPAAL and DTRON for Runtime Verification. In: IEEE/ACM Second International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015). Bishop, Judith and Sen, Sagar and Shukla, Rakesh and Shull, Forrest (Eds.). IEEE, 2015
Rauf, Irum and Siavashi, Faezeh and Truscan, Dragos and Porres, Ivan, An Integrated Approach for Designing and Validating REST Web Service Compositions. In: 10th International Conference on Web Information Systems and Technologies. Monfort, Valerie and Krempels, Karl-Heinz (Eds.). SCITEPRESS Digital Library, 2014 1
Siavashi, Faezeh and Waldén, Marina and Tsiopoulos, Leonidas and Vain, Jüri, Modelling Critical Systems with Time Constraints in Event-B. In: Proceedings of the 25th Nordic Workshop on Programming Theory, NWPT '13. Uustalu, Tarmo and Vain, Jüri (Eds.). Tallin University of Technology, 2013

Technical reports 2

Siavashi, Faezeh and Truscan, Dragos, A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing. TUCS Technical Reports 1129. TUCS, 2015
Rauf, Irum and Siavashi, Faezeh and Truscan, Dragos and Porres, Ivan, An Integrated Approach to Design and Validate REST Web Service Compositions. TUCS Technical Reports 1097. TUCS, 2013

Location of room

Laboratories and Groups

  • Software Engineering Laboratory
  • Software Technology Research Center

Current projects

  • MegaModelling at Runtime - scalable model-based framework for continuous development and runtime validation of complex systems (MegaM@Rt2)
    ECSEL JU, Tekes, 2017 – 2020

Completed projects

  • Practical Applications of Model-based technologies to continuous integration & testing methodologies (PAM)
    TEKES, 2012 – 2015

Footer

Contact

Phone: +358 (0)2 215 4475
Fax: +358 (0)2 251 5557

Visiting address

Åbo Akademi, Agora
Informationsteknologi
Vattenborgsvägen 3
20500 Åbo

Postal address

Åbo Akademi
Informationsteknologi
Agora
Domkyrkotorget 3
20500 Åbo

Social media

Fb

Quick links

Åbo Akademi
TUCS
Department Intra
Sign in to site administration