Symbolic execution (SE) is one of the most promising techniques for automated unit test generation, which claimed to streamline testing process and reduce developers' effort. There are symbolic engines working Java, C, C#, C++, Python,. NET. The KLEE dynamic engine elaborated ones - it built on top LLVM compiler infrastructure can automatically generate inputs C code testing. numerous attempts apply real-life software projects, while industry experience still shows little transfer from...

UTBotCpp and UTBot Java [3] are automatic white-box test generators for C/C++ programs correspondingly. The tools were developed by Huawei based on symbolic concrete execution. They try to cover as many branches possible using program bytecode. For this purpose, analyze paths in the control flow graph of a given method, construct constraints them, find satisfying input values SMT-solver corresponding branches. In paper, we report results at tenth edition SBST 2022 tool competition.

UTBot is the tool for automated unit test generation, which produces ready-to-use Java cases with valid inputs. This year, it implemented in two different variants: UTBot-fuzz that a grey-box fuzzer and UTBot-concolic has dynamic symbolic execution engine its core now paired fuzzing. In this paper, we report results at SBFT 2023 competition.

UtBot is an automatic test generator for Java programs developed by Huawei and based on symbolic execution. It tries to cover as many branches possible using the program's bytecode. To do that analyzes paths in control flow graph of a given method, constructing constraints them, find satisfying input values SMT-solver corresponding branches. In this paper, we report results at ninth edition SBST 2021 tool competition.

The Russian automotive industry is facing increasing competition from world leading manufacturers. In these circumstances, it becomes important to achieve optimum prices without affecting the properties of produced consumer vehicles. A possible way optimize - hedging through purchase exchange and OTC derivatives. Practice shows that corporations make extensive use derivative financial instruments hedge cost optimizing currency commodity contracts, interest payments. This practice can be...

The article presents the principles and criteria for staging use of process-oriented financial planning in automotive industry, allowing separate business processes, promote growth company's value. developed model estimates currency risks on basis cash flow modeling budget foreign economic activity industry aimed at increasing DOI: 10.5901/mjss.2015.v6n1s3p40

The article is devoted to the economic and mathematical optimization of inter-action industry tradeand supply chains. main criteria are minimization costs goods-movement, minimizingthe time delivery goods, maximizing boot storage transport facilities. Formed by interaction anoptimization algorithm, which allows determine appropriate scope optimal size theorder, find chain calculate parameters movement goods.

The problem of the reducing financial risks faced by any company in market economy. automotiveindustry is also sensitive to currency and commodity risks. article presents economic mathematicalmodel creation option portfolios automotive industry, which allows develop investment andspeculative strategies stock market, as well methods hedging automotiveindustry, depending on net position.

The innovative potential of the organization is increasingly becoming one key factors competitive advantage. philosophy lean manufacturing has a well-established reputation for its focus on process efficiency and therefore often applied in various areas innovation. This broad growing applicability resulted large body literature purpose this article to conceptualize an integrative view Lean Innovation Management. Based systematic review literature, principles practices that are useful context...

The article is aimed to analyze the work motivation of employees modern Russian aerospace enterprises engaged in automated and non-automated production sites. authors give an overview existing approaches analysis provide data from pilot sociological study conducted October 2023 (N=86), when theoretical applied problems were solved. Theoretically, hypothesis about influence digitalization robotization processes on factors labor was tested. task connected with approbation tools research...

Innovation in the life cycle of construction is an important topic for modern industry. The introduction BIM (Building Information Modeling) and GIS (Geoinformation System) technologies into process changes traditional methodology designing buildings structures. integration allows you to improve accuracy quality information design construction. This achieved through digital control management data stored a single database accessible all project participants. use system makes it possible...

Introduction. E-commerce is becoming one of the priority channels for distribution goods. Marketplaces with their large segments target audience and a wide range logistics, marketing, information, other services are most extensively growing e-platforms. It seems relevant to use mathematical tools describe various schemes interaction between manufacturers marketplaces since by now scientific papers consider only theoretical issues cooperation do not outline elements this system. Purpose. The...

The article proposes an interconnected set of management methods and models mechanisms in the supply system a large industrial complex. A dynamic equation has been developed to determine amount profit for each supplier at point time. changing material flow release components formed analytical cost function use materials, equipment labor resources time production process determined. digital computer model mechanism selecting volumes by obtained, solution which made it possible trajectories...

Optimisation of organizational cooperation between the sides a lease bargain is examined in this article, andthe corespondent math model presented. The problem long-time investment attraction for creation ofexpansion production, acquiring modern equipment and implementation technologies (that can bereally pricy) – be solved with help debt capital use, specifically tool leasing investmentprojects funding.

This article discusses the technical and economic efficiency of conversion gas-turbine engines for use invarious industries. Russian aircraft engine production capacity is not able to meet needs gas turbineengines terrestrial applications. The only solution this situation exhausttheir flight hours. We propose a criterion relative conversion,allowing select most appropriate type based on its characteristics.

In the modern economic reality, role of innovations is unimpeachable. Russian Federation, significant attention paid to creating conditions for innovative development. Thus, Strategy development which determines goals and objectives innovation policy intended change qualitatively economy structure being implemented. The projects are financed at cost venture capital. important feature investment, on one hand, high risk and, other ability get excess profits. Consequently, investors commonly...

The space industry is an integral part of the global economy and science. Due to market attractiveness both for state commercial sector, new technologies are being constantly developed, various goods services appear that naturally promote industrial competitiveness improvement at world national interregional levels as well. In products market, a customer, while searching performer concluding contract with him, faces number issues. One them hiding information about quality product or service...

The authors have formed the space market structure which is distinguished by junctional formation of summed demand for a product or service between participants at same stage, serves as basis next stages.The peculiarities participants' interaction on services are associated with incomplete awareness.It advisable to use methodological approach considered in theory contracts case asymmetric information develop models participants.Thus, based and taking into account specifics this article...

The growing volume of light aircraft production at the domestic enterprises over past two to three years indicates increasing demand for this type product and government’s interest in industry development. Despite slow pace development small Russia, producing aircraft, except market, find their customers abroad, international where they have face tough competition. work deals with study competitive interaction between manufacturers market context price competition case a duopoly. Using...

RETRACTION: Date of retraction: 13.03.2017 Reason for Duplicate publication in several editions Additional information about the causes The article "MODEL OF ANALYSIS AND PREDICTING THE DYNAMICS INDUSTRIAL PRODUCTION SPACE-ROCKET SECTOR IN RUSSIAN FEDERATION", written by Dmitriy Yuryevich Ivanov, Doctor Economics, Head Department "Production organization", Samara State Aerospace University named after Academician S.P. Korolev (National Research University), is a containing inappropriate...

The article examines one of the most common methods preventive measures used by management organizations – insurance. role this process in risk system enterprises is studied, its types are considered: property, personal (employee insurance), liability normative legal acts regulating listed. A description «Center-Agent» format proposed. This will allow modeling systems involving multiple Agents. company as a Center, insurance Agent 1, it also assumed that there an 2 waste disposal company....