11 citations · 30 across the 6 of their papers we have counts for
6 papers
Composite metamorphic relations for integration testing
Sofia F. Yakusheva, Anton S. Khritankov
Metamorphic testing is a testing method for problems without test oracles. Integration testing allows for detecting errors in complex systems that may not be found during the testi…
Towards automated verification of multi-party consensus protocols
Ivan Fedotov, Anton Khritankov, Artem Barger
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions.…
Statistical Model Checking of Common Attack Scenarios on Blockchain
Ivan Fedotov, Anton Khritankov
Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the his…
Existence conditions for hidden feedback loops in online recommender systems
Anton S. Khritankov, Anton A. Pilkevich
We explore a hidden feedback loops effect in online recommender systems. Feedback loops result in degradation of online multi-armed bandit (MAB) recommendations to a small subset a…
MLDev: Data Science Experiment Automation and Reproducibility Software
Anton Khritankov, Nikita Pershin, Nikita Ukhov +1
In this paper we explore the challenges of automating experiments in data science. We propose an extensible experiment model as a foundation for integration of different open sourc…
Analysis of hidden feedback loops in continuous machine learning systems
Anton Khritankov
In this concept paper, we discuss intricacies of specifying and verifying the quality of continuous and lifelong learning artificial intelligence systems as they interact with and…