scholarly journals Investigating behavioral differences between IoT malware via function call sequence graphs

Author(s):  
Reo Kawasoe ◽  
Chansu Han ◽  
Ryoichi Isawa ◽  
Takeshi Takahashi ◽  
Jun'ichi Takeuchi
Author(s):  
Rongcun Wang ◽  
Rubing Huang ◽  
Yansheng Lu ◽  
Binbin Qu

Regression test case reduction aims at selecting a representative subset from the original test pool, while retaining the largest possible fault detection capability. Cluster analysis has been proposed and applied for selecting an effective test case subset in regression testing. It groups test cases into clusters based on the similarity of historical execution profiles. In previous studies, historical execution profiles are represented as binary or numeric function coverage vectors. The vector-based similarity approaches only consider which functions or statements are covered and the number of times they are executed. However, the vector-based approaches do not take the relations and sequential information between function calls into account. In this paper, we propose cluster analysis of function call sequences to attempt to improve the fault detection effectiveness of regression testing even further. A test is represented as a function call sequence that includes the relations and sequential information between function calls. The distance between function call sequences is measured not only by the Levenshtein distance but also the Euclidean distance. To assess the effectiveness of our approaches, we designed and conducted experimental studies on five subject programs. The experimental results indicate that our approaches are statistically superior to the approaches based on the similarity of vectors (i.e. binary vectors and numeric vectors), random and greedy function-coverage-based maximization test case reduction techniques in terms of fault detection effectiveness. With respective to the cost-effectiveness, cluster analysis of sequences measured using the Euclidean distance is more effective than using the Levenshtein distance.


2012 ◽  
Vol 616-618 ◽  
pp. 2055-2059
Author(s):  
Min Luo

Formal method is a means to verify the reliability and safety of concurrent systems. Formal verification of model which automatically extracted from concurrent system built from high level language is a hot research topic in the field of model checking technology. With the focus on potential run time problems (deadlocks, memory leaks, the boundary data loss and other run-time errors) result from abnormal socket function call sequence, we analyze the sequence structure of the socket program and construct the Promela model of socket functions through the description of message data structures and channels, as well as define mapping rules of socket function to Promela. The socket function call sequence extraction algorithm and target Promela model generation algorithm are proposed by using linear temporal logic (LTL) to describe the property the socket function call sequence. A socket communication program analysis system has been constructed. The experiment result shows that the system can detect the potential run time problems of socket program effectively.


1998 ◽  
Vol 3 (1) ◽  
pp. 37-50 ◽  
Author(s):  
Thomas H. Rammsayer

Recent research suggests that individual differences in brain dopamine (DA) functioning may be related to the personality dimension of extraversion. The present study was designed to further elucidate the biological mechanisms underlying behavioral differences between extraverts and introverts. For this purpose, the differential effects of a pharmacologically induced blockade of mesolimbocortical DA D2 receptors on reaction-time performance were investigated in 24 introverted and 24 extraverted subjects. Introverts were found to be much more susceptible to pharmacologically induced changes in D2 receptor activity than extraverts. This finding provides additional experimental evidence for the notion that individual differences in D2 receptor responsivity may represent a neurobiological substratum for the personality dimension of extraversion.


Author(s):  
Terence D. Keel

The proliferation of studies declaring that there is a genetic basis to health disparities and behavioral differences across the so-called races has encouraged the opponents of social constructionism to assert a victory for scientific progress over political correctness. I am not concerned in this essay with providing a response to critics who believe races are expressions of innate genetic or biological differences. Instead, I am interested in how genetic research on human differences has divided social constructionists over whether the race concept in science can be used for social justice and redressing embodied forms of discrimination. On one side, there is the position that race is an inherently flawed concept and that its continued use by scientists, medical professionals, and even social activists keeps alive the notion that it has a biological basis. On the other side of this debate are those who maintain a social constructionist position yet argue that not all instances of race in science stem from discriminatory politics or the desire to prove that humans belong to discrete biological units that can then be classified as superior or inferior. I would like to shift this debate away from the question of whether race is real and move instead toward thinking about the intellectual commitments necessary for science to expose past legacies of discrimination.


2020 ◽  
Vol 17 (5) ◽  
pp. 462-476
Author(s):  
Alexander A. Ushkarev ◽  
Galina G. Gedovius ◽  
Tatyana V. Petrushina

The technological revolution of recent decades has already brought art to the broadest masses, and the unexpected intervention of the pandemic has significantly accelerated the process of migration of theatrical art to the virtual space, causing the corresponding dynamics of the audience. What is the theater audience in the era of digitalization and the spread of alternative forms of cultural consumption? How does the theater build its relationship with the audience today? In search of answers, we conducted a series of sociological surveys of the Chekhov Moscow Art Theater’s audience — both at the theater’s performances and in the online community of its fans. The purpose of this phase of the study was to answer the fundamental questions: do spectators surveyed in the theater and those surveyed online represent the same audience; what are their main differences; and what are the drivers of their spectator behavior? The article presents the main results of a comparative analysis of two images of the Moscow Art Theatre’s audience based on a number of content parameters by two types of surveys, as well as the results of a regression analysis of the theater attendance. The study resulted in definition of the qualitative and behavioral differences between the theater visitors and the viewers surveyed online, and identification of the factors of theater attendance for both of the represented audience groups. The study made it possible to clarify the role of age and other socio-demographic parameters in cultural activity, as well as the influence of preferred forms of cultural consumption (live contacts or online views) on one’s attitude to art, motivation and spectator behavior. The conclusions of the study, despite the uniqueness of the object, reflect the general patterns of the modern art audience’s dynamics.


Sign in / Sign up

Export Citation Format

Share Document