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
|
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
|