Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Rostislav Yavorskiy"'
Publikováno v:
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
Autor:
Rostislav Yavorskiy, Iosif Itkin
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030714710
This short paper presents an experience report on using model-based testing approach for stock exchange software. A simplified model of an order book is used for test suite generation. Then Z3 prover is applied to prove the completeness of the create
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41b22ea59567f242dcb98f60ce83f232
https://doi.org/10.1007/978-3-030-71472-7_16
https://doi.org/10.1007/978-3-030-71472-7_16
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030712136
AIST (Supplement)
AIST (Supplement)
This paper continues our research on how the communication structure of an organization affects its efficacy. We assume that the organization consists of several types of professionals (researchers, engineers, testers etc.) and each project team must
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ea87d83b2fb1a0412f94d5ad36a0133
https://doi.org/10.1007/978-3-030-71214-3_15
https://doi.org/10.1007/978-3-030-71214-3_15
This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.The 15 full papers and 3 short papers included in this book w
Publikováno v:
QRS Companion
We propose a hybrid technique of black-box testing of virtual assistants (VAs) in the financial sector. The specifics of the highly regulated industry imposes numerous limitations on the testing process: GDPR and other data protection requirements, t
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030395742
AIST (Supplement)
AIST (Supplement)
The goal of our research is to investigate how the communication structure of an organization affects its performance. In the paper, we study a simulation model of a self-organizing team conducting scientific research. The key parameter of the model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::21bb7d2178feb4b8e945e9ba9abfff03
https://doi.org/10.1007/978-3-030-39575-9_22
https://doi.org/10.1007/978-3-030-39575-9_22
This book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019.The 14 revised full papers and 2 revised short papers presented toge
Publikováno v:
QRS Companion
This is a vision paper on incorporating of embodied virtual agents into everyday operations of software testing team. An important property of intelligent virtual agents is their capability to acquire information from their environment as well as fro
Autor:
Rostislav Yavorskiy, Murad Mamedov, Vladimir Panarin, Alexey Zverev, Sergey Tishin, Elena Treshcheva, Kirill Zagorouiko, Iosif Itkin, Alyona Rybakova, Alyona Bulda, Anna Gromova
Publikováno v:
ICST
The paper presents an overview of a test automation framework aimed at end-to-end functional and non-functional testing of DLT-based hybrid financial software for post-trade. The proposed solution comprises the components designed for testing user-fa
Autor:
Andrey Novikov, Dmitry Legchikov, Evgenii Tsymbalov, Kirill Rudakov, Anton Sitnikov, Anna Gromova, Rostislav Yavorskiy, Iosif Itkin
Publikováno v:
AITest
Testing of distributed systems is a complex task, which is hampered by the impossibility of guaranteed reproduction of errors associated with race conditions. Even minor instrumentation of the system significantly changes its characteristics, which b