Results 21 to 30 of about 71,810 (321)
IEEE Access, 2019 Program slicing, as a technique of program decomposition, is widely used in the field of program testing, model checking, software verification, symbolic execution, and other fields.
Shengbing Ren, Mengyu Jia
doaj +1 more source
ConSIT: A conditioned program slicer [PDF]
, 2000 Conditioned slicing is a powerful generalisation of static and dynamic slicing which has applications to many problems in software maintenance and evolution, including reuse, reengineering and program comprehension.
Danicic, S +3 more
core +3 more sources
Raytraced images for testing the reconstruction of fibre orientation distributions; pp. 128–136 [PDF]
Proceedings of the Estonian Academy of Sciences, 2012 The orientation distribution of fibres is relevant to the properties of a number of different kinds of fibrous materials from many fields like biology and engineering, including short fibre reinforced composites.
Marika Eik, Heiko Herrmann
doaj +1 more source
Agronomy, 2021 The groundnut breeding program at International Crops Research Institute for the Semi-Arid Tropics routinely performs marker-based early generation selection (MEGS) in thousands of segregating populations.
Sejal Parmar +13 more
doaj +1 more source
On the computational complexity of dynamic slicing problems for program schemas [PDF]
, 2011 This is the preprint version of the Article - Copyright @ 2011 Cambridge University PressGiven a program, a quotient can be obtained from it by deleting zero or more statements.
Canfora +11 more
core +2 more sources
A Feedback System Supporting Students Approaching a High-Level Programming Course
Applied Sciences, 2022 This study analyzes the mistakes students are prone to make in programming and uses the GDB and Valgrind tools to implement dynamic analysis techniques for their eventual application to programs created by students.
Jong-Yih Kuo +3 more
doaj +1 more source
Making Slicing Mainstream How can we be Weiser? [PDF]
, 2006 By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the topic following Mark Weiser\u27s ...
Ettinger, Ran +2 more
core +1 more source
SymPas: Symbolic Program Slicing [PDF]
Journal of Computer Science and Technology, 2021 Program slicing is a technique for simplifying programs by focusing on selected aspects of their behavior. Current mainstream static slicing methods operate on dependence graph PDG (program dependence graph) or SDG (system dependence graph), but these friendly graph representations may be a bit expensive for some users.
openaire +3 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
openaire +3 more sources
An operational guide to resin 3D printing of geological macromodels
MethodsX, 2022 Stereolithography (SLA) is a form of 3D printing that is based on the curing of resin under UV light. There are a wide variety of 3D resin printers on the market that all follow the same general procedure.
Mohamed Idris +2 more
doaj +1 more source