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 …

A balanced social structure within an organization is often considered as one of the major
factors of company success. Thus the analysis of organizational networks is an important …

We consider a general formal model for monitoring of a local network behavior. Monitored
behavior of the system corresponds to the dynamics induced on the observed state space by …

We present here the overview of recent research on passive testing methods and tools,
which covers 104 manually selected papers most relevant to this topic. The papers were …

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 …

In this paper we studyconnectivity between leading universities and academic institutions in
the area of computer science for Moscow and Saint Petersburg. The research is based on …

Our study is aimed at developing a language-independent tool for building user profiles of
online community users. To that end the definition of a comment graph, a convenient …

The objective of this short paper is to summarize the team’s experience in the area of
software-testing education obtained through the development of an extensive internal training …

In this paper we study formal indicators of connectivity for a city community of researchers in
Informatics and Cybernetics. The analysis is based on data available at the Scientific …

The importance of weak social ties in professional communities is well studied and widely
accepted. In our paper we analyze the structure of strong ties based on the co-authorship …