Faezeh Siavashi

PhD student

Research Expertise

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). IEEE, 2018

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