Results 41 to 50 of about 23,085,941 (290)
Automated Generation of Test Cases for Smart Contract Security Analyzers
IEEE Access, 2020 We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj +1 more source
Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development
Applied Sciences, 2022 With the increasing complexity of aircraft development programs, the development processes of aircraft and their subsystems are continuously becoming complicated, leading to the growing risks of development cost across the entire life cycle.
Junda Ma +5 more
doaj +1 more source
Methods for analyzing the impact of software changes on objective functions and safety functions
Российский технологический журналObjectives. This paper examines the various approaches to analyzing the impact of software changes, and suggests a new method using function control flows.
A. А. Legkodumov +3 more
doaj +1 more source
Structural analysis and optimum design of ECM machine tool based on variable density method
Journal of Hebei University of Science and Technology, 2019 In order to improve the precision and quality of electrochemical machining of complex surface/cavity parts, the design of horizontal electrochemical machine tool which can realize the compound feeding motion of straight line and rotation is carried out ...
Lunye SUN, Hao CHEN, Hui WANG, Zhibo FU
doaj +1 more source
A system for the static analysis of XPath [PDF]
ACM Transactions on Information Systems, 2006 XPath is the standard language for navigating XML documents and returning a set of matching nodes. We present a sound and complete decision procedure for containment of XPath queries, as well as other related XPath decision problems such as satisfiability, equivalence, overlap, and coverage.
Genevès, Pierre, Layaïda, Nabil
openaire +3 more sources
Call Graph Soundness in Android Static Analysis [PDF]
peer reviewedStatic analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output.
BISSYANDE, Tegawendé François d Assise +4 more
core +1 more source
Static and vibration analysis of functionally graded beams using refined shear deformation theory [PDF]
, 2013 Static and vibration analysis of functionally graded beams using refined shear deformation theory is presented. The developed theory, which does not require shear correction factor, accounts for shear deformation effect and coupling coming from the ...
Thai, Huu-Tai +3 more
core +1 more source
RUDN Journal of Engineering Research, 2020 The scientific work represents a research of the cutting process in order to determine the influence of the cutting tool extensions length from the tool holder and the cutting forces that occur during processing and corresponding to different values of ...
Dmitry G. Allenov +3 more
doaj +1 more source
The Julia Static Analyzer for Java [PDF]
, 2016 The Julia static analyzer applies abstract interpretation to the analysis and verification of Java bytecode. It is the result of 13 years of engineering effort based on theoretical research on denotational and constraint-based static analysis through ...
SPOTO, Nicola Fausto, Fausto Spoto
core +1 more source
An Empirical Case Study on the Temporary File Smell in Dockerfiles
IEEE Access, 2019 Docker is widely used in data centers to host services. The docker image adopts a hierarchical storage architecture, which means that the docker image is composed of a set of filesystem layers.
Zhigang Lu +4 more
doaj +1 more source