Results 1 to 20 of 71
Sort by:

  • ESC/Java
  • Referenced in 137 articles [sw07217]
  • tool that attempts to find common run-time errors in JML-annotated Java programs...

  • SPARK
  • Referenced in 48 articles [sw03124]
  • toolset for showing the absence of run-time errors in safety-critical software. This paper ... toolset for showing the absence of run-time errors in safety-critical Ada software ... effective it is in finding run-time errors in a SPARK program, and how much ... process of proving freedom from run-time errors can be performed automatically. The study identifies...

  • GF

  • Referenced in 34 articles [sw13667]
  • type system, which helps to eliminate run-time errors in language processing. In the same...

  • Verasco
  • Referenced in 12 articles [sw19985]
  • that establishes the absence of run-time errors in analyzed programs. The analyzer is based ... analyze without alarms are free of run-time errors...

  • Woflan
  • Referenced in 36 articles [sw07028]
  • support for workflow verification. Errors made at design-time are not detected and result ... costly failures at run-time. Woflan helps you to detect these errors before the workflow...

  • DrACuLa
  • Referenced in 3 articles [sw29646]
  • especially its treatment of syntax and run-time errors. Further, DRACULA also comes with...

  • TSPACK

  • Referenced in 2 articles [sw09863]
  • arrays and files sorting, fractile extraction, run-time error messages, etc.). par Each...

  • PolySpace
  • Referenced in 1 article [sw31196]
  • prove the absence of critical run-time errors under all possible control flows and data...

  • CiaoPP
  • Referenced in 44 articles [sw12089]
  • static debugging and verification, finding errors before running the program. This includes checking how programs ... granularity control into account), inclusion of run-time tests for assertions which cannot be checked...

  • SAFECode
  • Referenced in 4 articles [sw13323]
  • errors. We formalize our approach as a new type system with the necessary run-time ... detect memory errors (dangling pointer references and certain array bounds errors) cannot invalidate the call ... used to create a run-time partitioning of memory that matches the compile-time memory...

  • Calpa
  • Referenced in 1 article [sw18666]
  • static characteristics and run-time behavior and much trial and error in order to select ... dynamically generated code benefit to choose run-time constants and other dynamic compilation strategies...

  • Zoltar
  • Referenced in 4 articles [sw26818]
  • observed failures is the most expensive, error-prone phase in the software development life cycle ... analysis with fault screeners as a run-time replacement for design-time test oracles...

  • Frenetic
  • Referenced in 7 articles [sw16270]
  • result, network programs tend to be complicated, error-prone, and difficult to maintain. This paper ... enabled by Frenetic’s novel run-time system which manages all of the details related...

  • L-PICOLA
  • Referenced in 3 articles [sw41555]
  • require precise knowledge of statistical and systematic errors. This can be obtained from large numbers ... simulate the past lightcone at run-time, with optional replication of the simulation volume. Through...

  • HighlightsRTC
  • Referenced in 0 articles [sw24324]
  • arithmetic overflows and underflows, and run-time type violations. Most of the instrumentations are directly ... code remains portable. In tests against known error detection benchmarks, RTC found ... that our tool has an average run-time overhead rate of 9.7× and memory overhead...

  • Clang AST
  • Referenced in 1 article [sw12879]
  • usage of C++ STL does not guarantee error-free code. Contrarily, incorrect application ... tested neither at compilation-time nor at run-time. It is not surprising that...

  • CharmFL
  • Referenced in 1 article [sw39990]
  • most time-consuming and error-prone parts of software debugging. There are several tools ... programs and generate useful data at run-time to be used, then to produce...

  • COUNTDOWN
  • Referenced in 1 article [sw41592]
  • this article, we present COUNTDOWN, a run-time library for identifying and automatically reducing ... time-to-completion by lowering CPUs power consumption only during idle times for which power ... user, without requiring labor-intensive and error-prone application code modifications, nor requiring recompilation...

  • Rubydust
  • Referenced in 1 article [sw22066]
  • approach, we wrap each run-time value to associate it with a type variable ... values are used during actual program runs. Using wrappers is also easy to implement, since ... useful: Rubydust discovered 1 real type error, and all other inferred types were correct...

  • Coq
  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...