Results 1 to 10 of about 13,499 (160)
Stack-based static WebAssembly binary slicing and mutation for generating valid sub-binaries [PDF]
Scientific ReportsWebAssembly is a low-level binary format originally designed to enable high-performance applications to run in web browsers. As WebAssembly is increasingly being ported to various environments, the security verification of WebAssembly execution ...
GyeongTaek Choi, Seungho Jeon
doaj +2 more sources
Program slicing of Java programs
Journal of Logical and Algebraic Methods in Programming, 2023 This work has been partially supported by grant PID2019-104735RB-C41 funded by Spanish MCI/AEI/10.13039/501100011033, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA No 952215.
CARLOS Galindo +2 more
exaly +4 more sources
ACM Transactions on Computational Logic, 2017 In the present article, we formally define the notion of abstract program slicing , a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values and relies on the notion of abstract ...
Isabella Mastroeni, Damiano Zanardini
exaly +5 more sources
The improved dynamic slicing for spectrum-based fault localization [PDF]
PeerJ Computer Science, 2022 Background Spectrum-based Fault localization have proven to be useful in the process of software testing and debugging. However, how to improve the effectiveness of software fault localization has always been a research hot spot in the field of software ...
Heling Cao +3 more
doaj +2 more sources
IEEE Open Journal of Vehicular Technology, 2021 In this paper, a two-timescale radio access network (RAN) slicing and computing task offloading problem is investigated for a cloud-enabled autonomous vehicular network (C-AVN).
Qiang Ye +5 more
doaj +1 more source
A Method for Enterprise Architecture Model Slicing
Applied Sciences, 2022 Enterprise Architecture (EA) has been applied widely in industry as it brings substantial benefits to ease communication and improve business-IT alignment. However, due to its high complexity and cost, EA still plays a limited role in many organizations.
Hong Guo +3 more
doaj +1 more source
Program Slicing by Calculation [PDF]
J. Univers. Comput. Sci., 2006 JUCS - Journal of Universal Computer Science Volume Nr.
F. Rodrigues, Nuno, Bar, Luís S.
openaire +2 more sources
Semantics and Algorithms for Parametric Monitoring [PDF]
Logical Methods in Computer Science, 2012 Analysis of execution traces plays a fundamental role in many program analysis approaches, such as runtime verification, testing, monitoring, and specification mining.
Grigore Rosu, Feng Chen
doaj +1 more source
Tool Path Generation for CNC Milling Based on STL File [PDF]
Engineering and Technology Journal, 2015 This paper proposes and develops algorithms to read (STL) files and extract engineering entities required in CNC milling processes. The proposed algorithms are dependent on some mathematical modeling and manipulations of the engineering models by slicing
Nadia Sami Hasan +1 more
doaj +1 more source
Weight prioritized slicing based on constraint logic programming for fault localization.
PLoS ONE, 2020 Fault localization, a technique to fix and ensure the dependability of software, is rapidly becoming infeasible due to the increasing scale and complexity of multilingual programs.
Shengbing Ren +3 more
doaj +1 more source