• Bandera

  • Referenced in 134 articles [sw07663]
  • Spin, dSpin, SMV, and JPF). Both program slicing and user extensible abstract interpretation components...
  • CiaoPP

  • Referenced in 45 articles [sw12089]
  • source program transformations such as program specialization, slicing, partial evaluation of a program, program parallelization...
  • iClingo

  • Referenced in 13 articles [sw11388]
  • ground rules stemming from the current program slice, without re-producing previous ground rules ... ground program slices are then gradually passed to the solver that accumulates ground rules...
  • SANTE

  • Referenced in 4 articles [sw07252]
  • SANTE tool: value analysis, program slicing and test generation for C program debugging. This short ... original method combining value analysis, program slicing and structural test generation for verification ... Then the program is reduced by program slicing. Alarm-guided test generation is then used...
  • Consit

  • Referenced in 7 articles [sw08962]
  • ConSIT: a conditioned program slicer. 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 ... program comprehension. However there has been relatively little work on the implementation of conditioned slicing ... implementing conditioned slicing necessarily involve reasoning about the values of program predicates in certain sets...
  • jPredictor

  • Referenced in 5 articles [sw23065]
  • predictive analysis tool for Java. Based on sliced causality among property-relevant events ... desired properties by observing exectuions of the program, even when the violations are not encountered ... predicet more possible executions of the program, which preserve the same ocurrences of relevant events ... similar, to some extend, to the program slicing, and the reason of its name: sliced...
  • iJulienne

  • Referenced in 6 articles [sw09903]
  • Slicing-based trace analysis of rewriting logic specifications with iJulienne. We present iJulienne, a trace ... understand and debug programs. Given a Maude execution trace and a slicing criterion which consists ... incrementally generate highly reduced program and trace slices that reconstruct all and only those pieces ... increases flexibility and reduction power and allows program runs to be examined at the appropriate...
  • Tukra

  • Referenced in 1 article [sw21419]
  • Tukra: An abstract program slicing tool. We introduce Tukra , a tool that allows the practical ... evaluation of abstract program slicing algorithms. The tool exploits the notions of statement relevancy, semantic ... refine traditional syntax-based program dependence graphs, generating more accurate slices. We provide the architecture...
  • ABETS

  • Referenced in 3 articles [sw31985]
  • Assertion-based analysis via slicing with ABETS (system description). We present ABETS, an assertion-based ... helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions ... execution trace and executed program, reduced versions in which any information that is not relevant ... violated, the system automatically infers accurate slicing criteria from the failure. We summarize the main...
  • HSFal

  • Referenced in 1 article [sw26941]
  • suspicious codes that likely contain faults. Program slicing can extract the dependencies of program entities ... approach using a hybrid spectrum of full slices and execution slices to improve the effectiveness ... suspiciousness of each statement in the hybrid slice spectrum and generates a fault location report ... source programs. Our approach is compared with eight representative coverage-based and slice-based fault...
  • UnitFL

  • Referenced in 1 article [sw39993]
  • localization approaches with unit tests. Moreover, program slicing and dynamic program instrumentation techniques are applied...
  • AFNI

  • Referenced in 26 articles [sw09076]
  • Magnetic Resonance Neuroimages. A package of computer programs for analysis and visualization of three-dimensional ... activation maps onto higher resolution anatomical scans. Slices in each cardinal plane can be viewed ... multiple 3D functional data sets. The programs are written in ANSI C and Motif...
  • RSIR

  • Referenced in 17 articles [sw26716]
  • propose a novel procedure called regularized sliced inverse regression (RSIR) for identifying TFBMs. RSIR follows ... data and cell cycle data. AVAILABILITY: Matlab programs are available upon request from the authors...
  • VVT

  • Referenced in 1 article [sw21510]
  • using different techniques such as program slicing, constant propagation and expression simplification...
  • CPPX

  • Referenced in 1 article [sw21663]
  • recovery, data flow analysis, pointer analysis, program slicing, query techniques, source code visualization, object recovery...
  • CSP

  • Referenced in 1 article [sw08678]
  • deadlock analysis, reliability analysis, and program slicing try to predict properties of the specification which...
  • AlgoPy

  • Referenced in 10 articles [sw16107]
  • Algorithmic differentiation in Python with AlgoPy. Many programs for scientific computing in Python are based ... numerical linear algebra (NLA) functions, vectorized operations, slicing and broadcasting. AlgoPy provides the means ... arbitrary order and Taylor approximations of such programs. The approach is based on a combination...
  • PICOS

  • Referenced in 10 articles [sw06282]
  • take advantage of the python programming language to read and write data, construct a list ... constraints by using python list comprehensions, take slices of multidimensional variables...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • focused on static analysis (such as slicing and abstraction) which are mandatory for an automated ... both in specification formalisms like UML or programming languages like Java, were not supported...
  • Slicing

  • Referenced in 1 article [sw29542]
  • correctness of slicing, which should ideally be proven independent of concrete programming languages and with ... dynamic and static intraprocedural slicing based on control flow and program dependence graphs. Abstracting from ... framework on a graph representation of the program fulfilling certain structural and well-formedness properties ... subdirectory Basic/), the correctness proof for dynamic slicing (in subdirectory Dynamic/), the correctness proof...