Results 1 to 10 of about 71,487 (291)
Abstract Program Slicing: an Abstract Interpretation-based approach to Program Slicing [PDF]
ACM Transactions on Computational Logic, 2016 In the present paper 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.
Mastroeni, Isabella, Zanardini, Damiano
core +5 more sources
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
Understanding Program Slices [PDF]
Acta Cybernetica, 2012 Program slicing is a useful analysis for aiding different software engineering activities. In the past decades, various notions of program slices have been evolved as well as a number of methods to compute them. By now program slicing has numerous
Forgács, István, Hajnal, Ákos
core +3 more sources
Program slicing by calculation [PDF]
, 2006 Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and ...
Barbosa, L. S., Rodrigues, Nuno F.
core +7 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
Field-Sensitive Program Slicing
Journal of Systems and Software, 2022 This work has been partially supported by grant PID2019-104735RB-C41 funded by MCIN/AEI/10.13039/501100011033 and by the Generalitat Valenciana under grant CIPROM/2022/6 (FassLow). Carlos Galindo was partially supported by the Spanish Ministerio de Universidades under grant FPU20/03861.
Carlos Galindo +3 more
openaire +3 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