Results 11 to 20 of about 71,810 (321)
Abstract Program Slicing [PDF]
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 ...
MASTROENI, Isabella, Damiano Zanardini
openaire +6 more sources
Program Slicing by Calculation [PDF]
, 2006 JUCS - Journal of Universal Computer Science Volume Nr.
F. Rodrigues, Nuno, Bar, Luís S.
openaire +8 more sources
Understanding Program Slices [PDF]
Acta Cybernetica, 2012 Program slicing is a useful analysis for aiding differentsoftware engineering activities. In the past decades, various notionsof program slices have been evolved as well as a number of methods tocompute them. By now program slicing has numerous applications insoftware maintenance, program comprehension, reverse engineering,program integration, and ...
Ákos Hajnal, István Forgács
openaire +4 more sources
Node coarsening calculi for program slicing [PDF]
, 2002 Several approaches to reverse and re-engineering are based upon program slicing. Unfortunately, for large systems, such as those which typically form the subject of reverse engineering activities, the space and time requirements of slicing can be a ...
Mark Harman +5 more
openalex +5 more sources
IET Communications, 2022 Network slicing is considered to be a key feature of the 5th generation mobile networks. It permits multiple tenants, i.e. mobile virtual network operators, to share virtual resources.
Tengteng Ma +3 more
doaj +1 more source
An interactive debugging framework with heuristic graph based on the feedback optimization
Nantong Daxue xuebao. Ziran kexue ban, 2022 The spectrum-based fault localization approaches guide programmers to identify defects with the defect localization report. Due to lacking sufficient context, the process of identifying defects based on the fault localization report is very time ...
JU Xiaolin QIAN Jie ZHAO Chunyu CHEN Zhihua
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
Model Checking with Program Slicing Based on Variable Dependence Graphs [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 In embedded control systems, the potential risks of software defects have been increasing because of software complexity which leads to, for example, timing related problems. These defects are rarely found by tests or simulations. To detect such defects,
Masahiro Matsubara +5 more
doaj +1 more source
Non-local slicing approaches for NNLO QCD in MCFM
Journal of High Energy Physics, 2022 We present the implementation of several processes at Next-to-Next-to Leading Order (NNLO) accuracy in QCD in the parton-level Monte Carlo program MCFM. The processes treated are pp → H, W ± , Z, W ± H, ZH, W ± γ, Zγ and γγ and, for the first time in the
John M. Campbell +2 more
doaj +1 more source
Automatic WECT Analysis Method of Program Mode for Real-time Control System [PDF]
Jisuanji gongcheng, 2017 Obtaining program modes of real-time control system from source codes cannot only verify the consistence of the design and implementation,but also improve the accuracy of Worst-Case Execution Time(WCET) calculation.Based on this consideration,this paper ...
HOU Xiaojing,JI Mengluo,HUANG Chenlin,SHU Yunxing,YAN Ben
doaj +1 more source