scholarly journals ReFuzz: A Remedy for Saturation in Coverage-Guided Fuzzing

Electronics ◽  
2021 ◽  
Vol 10 (16) ◽  
pp. 1921
Author(s):  
Qian Lyu ◽  
Dalin Zhang ◽  
Rihan Da ◽  
Hailong Zhang
Keyword(s):  
Saturation State ◽  
Code Coverage ◽  
Random Test ◽  
Target Program

Coverage-guided greybox fuzzing aims at generating random test inputs to trigger vulnerabilities in target programs while achieving high code coverage. In the process, the scale of testing gradually becomes larger and more complex, and eventually, the fuzzer runs into a saturation state where new vulnerabilities are hard to find. In this paper, we propose a fuzzer, ReFuzz, that acts as a complement to existing coverage-guided fuzzers and a remedy for saturation. This approach facilitates the generation of inputs that lead only to covered paths by omitting all other inputs, which is exactly the opposite of what existing fuzzers do. ReFuzz takes the test inputs generated from the regular saturated fuzzing process and continue to explore the target program with the goal of preserving the code coverage. The insight is that coverage-guided fuzzers tend to underplay already covered execution paths during fuzzing when seeking to reach new paths, causing covered paths to be examined insufficiently. In our experiments, ReFuzz discovered tens of new unique crashes that AFL failed to find, of which nine vulnerabilities were submitted and accepted to the CVE database.

E-Market of State Purchases in Russia

2005 ◽  
pp. 121-130 ◽  
Author(s):  
V. Ryabtsun
Keyword(s):  
Electronic State ◽  
Legal Basis ◽  
Siberian Region ◽  
Federal Target Program ◽  
Target Program

Legal basis and development of systems of electronic state purchases in Russia with special attention to the federal target program "Electronic Russia (2002-2010)" are considered in the article. The level of development of such systems is examined within the case of their functioning in the Ural-Siberian region. The results of the work of state purchases e-market in Novosibirsk and Chelyabinsk are presented.

PSYCHOLOGY, AWARENESS OF THE ETHNIC GROUPS IN NEW RURAL CONSTRUCTION IN ETHNIC MINORITY AND MOUNTAINOUS AREAS TODAY

2018 ◽  
Author(s):  
Nguyen Duy Dung
Keyword(s):  
Ethnic Minority ◽  
Ethnic Groups ◽  
Ethnic Minorities ◽  
Rural Areas ◽  
Cultural Development ◽  
Mountainous Areas ◽  
Political Will ◽  
Target Program ◽  
Rural Construction ◽  
New Rural Construction

New rural construction is one of the key tasks identified by the Party and State as the national target program until 2020. Many documents of the Party and the State have been issued expressing political will to implement the tasks of building new rural areas, over 6 years of implementation, the National Target Program for new rural construction has achieved certain achievements, the appearance of rural areas of ethnic minorities and mountainous areas has gradually changed dramatically, contributing significantly to promoting socio-economic and cultural development. Many provinces and cities throughout the whole country have built some new rural models that meet nineteen criterias and arrive on time.

RELEVANT ISSUES OF SCIENTIFIC AND PERSONNEL SUPPORT FOR THE DEVELOPMENT OF LAND RECLAMATION IN THE NON-BLACK EARTH REGION

1970 ◽  
pp. 14-19
Author(s):  
N. N. Dubenok ◽  
А. I. Ivanov ◽  
Yu. V. Chesnokov ◽  
Yu. G. Yanko
Keyword(s):  
Program Development ◽  
Land Reclamation ◽  
Successful Implementation ◽  
Highly Qualified ◽  
Staff Support ◽  
Federal Target Program ◽  
Russian Academy Of Sciences ◽  
Target Program ◽  
The Right ◽  
Academy Of Sciences

The reclamation complex of the Nonchernozem zone of Russia has been under the influence of a combination of unfavourable factors for a long time. The problems of scientific and staff support today limit the development of the complex and create risks for the successful implementation of the Federal Target Program "Development of Land Reclamation". In order to analyze the situation and find the right solutions, a study was carried out using the method of expert assessments. Twenty-four highly qualified specialists took part in it: 2 Academicians of the Russian Academy of Sciences, 4 Corresponding Members of the Russian Academy of Sciences, 10 Doctors of Sciences and 9 Candidates of Sciences. To preserve and build up the agro-resource potential within the framework of the Federal Target Program "Development of Land Reclamation" in the next decade, it is necessary to develop 300-400 thousand hectares of shrubby fallow, to carry out major repairs of drainage systems on an area of up to 300 thousand hectares and their reconstruction on an area of up to 100 thousand hectares, carry out chemical reclamation on an area of up to 5 million hectares on average per year. The need for qualified personnel to solve these problems will amount to 18–20 thousand professional workers and up to 5 thousand specialists, including 1.0 thousand people in research and development, 1.5 thousand people in exploration and design sphere, 2.5 thousand people in the construction and operational sphere. The fundamental importance belongs to the scientific support of the innovative reclamation complex, the renewal of which should be carried out on the principles of resource and energy conservation, nature likeness, informational support and digitalization of management processes.

CALIBRATING FORAMINIFERAL FRAGMENTATION AS A PROXY FOR SEAWATER CARBONATE SATURATION STATE

2017 ◽  
Author(s):  
Sara S. Kahanamoku ◽  
◽  
Leanne E. Elder ◽  
Michael J. Henehan ◽  
Pincelli M. Hull
Keyword(s):  
Saturation State

Technology in Architecture – Low Energy Building versus Green and Sustainable Building

2013 ◽  
Vol 649 ◽  
pp. 207-210 ◽  
Author(s):  
Milan Bielek ◽  
Boris Bielek ◽  
Juraj Híreš
Keyword(s):  
Green Building ◽  
Energy Sector ◽  
Low Energy ◽  
Energy Technology ◽  
Human Settlements ◽  
Sustainable Building ◽  
Human Economy ◽  
Target Program ◽  
Transitional Phase ◽  
Entire Economy

Interaction - society, ecology and energy. Technology and its three principal areas in society represented by industry, transportation and human settlements. Human settlements and architecture as a symbiosis of function, aesthetics, technology and economics. The criterion of the art in architecture expressed by system link Building - Climate - Energy. New value relationships in the human economy. Transformation of the material sector, energy sector and the entire economy. Low-energy building of today. Green building as an important transitional phase to the target program of sustainable future building.

scholarly journals Behavioural Study of the Force Control Loop Used in a Collaborative Robot for Sanding Materials

Materials ◽  
2020 ◽  
Vol 14 (1) ◽  
pp. 67
Author(s):  
Rodrigo Pérez Ubeda ◽  
Santiago C. Gutiérrez Rubert ◽  
Ranko Zotovic Stanisic ◽  
Ángel Perles Ivars
Keyword(s):  
Force Control ◽  
Feed Rate ◽  
Significant Variation ◽  
Industrial Robots ◽  
Control Loop ◽  
Saturation State ◽  
Collaborative Robots ◽  
Increase Productivity ◽  
Different Characteristics ◽  
Collaborative Robot

The rise of collaborative robots urges the consideration of them for different industrial tasks such as sanding. In this context, the purpose of this article is to demonstrate the feasibility of using collaborative robots in processing operations, such as orbital sanding. For the demonstration, the tools and working conditions have been adjusted to the capacity of the robot. Materials with different characteristics have been selected, such as aluminium, steel, brass, wood, and plastic. An inner/outer control loop strategy has been used, complementing the robot’s motion control with an outer force control loop. After carrying out an explanatory design of experiments, it was observed that it is possible to perform the operation in all materials, without destabilising the control, with a mean force error of 0.32%. Compared with industrial robots, collaborative ones can perform the same sanding task with similar results. An important outcome is that unlike what might be thought, an increase in the applied force does not guarantee a better finish. In fact, an increase in the feed rate does not produce significant variation in the finish—less than 0.02 µm; therefore, the process is in a “saturation state” and it is possible to increase the feed rate to increase productivity.

scholarly journals Fine-grained Code Coverage Measurement in Automated Black-box Android Testing

2020 ◽  
Vol 29 (4) ◽  
pp. 1-35
Author(s):  
Aleksandr Pilgun ◽  
Olga Gadyatskaya ◽  
Yury Zhauniarovich ◽  
Stanislav Dashevskyi ◽  
Artsiom Kushniarou ◽  
...  
Keyword(s):  
Black Box ◽  
Code Coverage ◽  
Fine Grained ◽  
Coverage Measurement

scholarly journals The Relation of Test-Related Factors to Software Quality: A Case Study on Apache Systems

2021 ◽  
Vol 26 (2) ◽  
Author(s):  
Fabiano Pecorelli ◽  
Fabio Palomba ◽  
Andrea De Lucia
Keyword(s):  
Software Quality ◽  
Compelling Evidence ◽  
Related Factors ◽  
Code Coverage ◽  
Production Code ◽  
Software Code ◽  
Class Test ◽  
Code Quality ◽  
Lack Of Knowledge

AbstractTesting represents a crucial activity to ensure software quality. Recent studies have shown that test-related factors (e.g., code coverage) can be reliable predictors of software code quality, as measured by post-release defects. While these studies provided initial compelling evidence on the relation between tests and post-release defects, they considered different test-related factors separately: as a consequence, there is still a lack of knowledge of whether these factors are still good predictors when considering all together. In this paper, we propose a comprehensive case study on how test-related factors relate to production code quality in Apache systems. We first investigated how the presence of tests relates to post-release defects; then, we analyzed the role played by the test-related factors previously shown as significantly related to post-release defects. The key findings of the study show that, when controlling for other metrics (e.g., size of the production class), test-related factors have a limited connection to post-release defects.

Sign in / Sign up

Export Citation Format

Share Document