• Wesseling

  • Referenced in 329 articles [sw09677]
  • operators, smoothing methods, and nested iteration, and defect correction. Cell centered and vertex centered discretization...
  • testmatrix

  • Referenced in 85 articles [sw14347]
  • deficient matrices; and symmetric, positive definite, orthogonal, defective, involutary, and totally positive matrices. The visualization...
  • PMIRKDC

  • Referenced in 32 articles [sw06409]
  • parallel mono-implicit Runge-Kutta code with defect control for boundary value ODEs We describe ... mono-implicit Runge-Kutta schemes within a defect control algorithm. The primary computational costs involve ... systems and solution interpolants, and defect estimation. Numerical results show almost linear speedups...
  • MIRKDC

  • Referenced in 36 articles [sw07159]
  • Runge-Kutta software defect control for boundary value ODEs. Mono-implicit Runge-Kutta (MIRK) formulas ... implementation issues (modified Newton iteration, use of defect control instead of the standard global error...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • library contains a number of memory management defects, all of which occur outside of SACLIB ... used to detect some memory defects, the tools cannot guarantee their absence. This is unfortunate...
  • BEASY

  • Referenced in 34 articles [sw01168]
  • Corrosion Control, Galvanic Corrosion, Signature Management, Defect Assessment and Crack Growth Simulation. Our innovative software...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • manipulations are a major source of software defects in C programs yielding vulnerabilities which...
  • avalanche.f

  • Referenced in 19 articles [sw13859]
  • acceleration technique known as iterated defect correction based on the implicit Euler method...
  • Atelier B

  • Referenced in 17 articles [sw07086]
  • Method to develop defect-free proven software (formal software). Two versions are available: Community Edition...
  • SeDiMO

  • Referenced in 14 articles [sw07826]
  • existence of certain codes and non-defectiveness of certain higher secant varieties...
  • StackGAN

  • Referenced in 11 articles [sw42521]
  • realistic details. It is able to rectify defects in Stage-I results and add compelling...
  • KeTCindy

  • Referenced in 10 articles [sw15161]
  • most hopeful schemes to remove this defect should be that we utilize other symbolic/numerical computing...
  • GenProg

  • Referenced in 4 articles [sw22863]
  • describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without ... susceptible to a given defect, using existing test suites to encode both the defect ... module code, spanning eight classes of defects, in 357 seconds, on average. We analyze ... efficiently produces evolved programs that repair the defect, are not fragile input memorizations...
  • AEtnaNova

  • Referenced in 8 articles [sw06360]
  • definitions and theorems, or rejects as defective. The functionality of this proof verifier...
  • DelPhi Web Server

  • Referenced in 8 articles [sw17209]
  • server provides extra services to fix structural defects, as missing atoms in the structural file...
  • Referee

  • Referenced in 7 articles [sw12439]
  • definitions and theorems, or rejects as defective. The functionality of this proof verifier...
  • Klocwork

  • Referenced in 7 articles [sw26814]
  • value for the customer rather than fixing defective code? It starts at the developer...
  • AGEDIS

  • Referenced in 7 articles [sw32266]
  • includes a feedback loop integrating coverage and defect analysis tools with the test generator...
  • DyTa

  • Referenced in 3 articles [sw22848]
  • execution guided with static verification results. Software-defect detection is an increasingly important research topic ... software engineering. To detect defects in a program, static verification and dynamic test generation ... dynamic test generation, we present an automated defect-detection tool, called DyTa, that combines both ... dynamic phase. The static phase detects potential defects with a static checker; the dynamic phase...