• Bogor

  • Referenced in 36 articles [sw06858]
  • Building your own software model checker using the Bogor extensible model checking framework Model checking ... verification and debugging in hardware and more recently in software domains. We believe that recent...
  • WoLFram

  • Referenced in 15 articles [sw02075]
  • software to SystemC is presented. The integrated flow of synthesis, verification and debugging of WoLFram ... applied to prove the correctness of the software. It is shown, that modern SAT solvers ... short run time. The accuracy of debugging is high. Often over 99% of the fault ... debug the faulty behavior. Again, the computational overhead is moderate. For more complex software...
  • COIN-OR

  • Referenced in 105 articles [sw04615]
  • been remarkable. Community-based efforts to develop software under open-source licenses have produced high ... idea typically requires re-implementing (and re-debugging and re-testing) the original algorithm. Often ... modify it. Imagine the productivity gains from software reuse...
  • BadNets

  • Referenced in 4 articles [sw41281]
  • have developed tools for verifying and debugging software...
  • CHESS

  • Referenced in 5 articles [sw23089]
  • increasing use of multithreading in application software as well. Unfortunately, the design of concurrent programs ... result, the process of debugging concurrent software becomes tedious resulting in a drastic decrease...
  • Dytan

  • Referenced in 6 articles [sw31722]
  • areas, such as program understanding, software testing, and debugging. Unfortunately, most existing approaches for dynamic ... that DYTAN can be used on real software, by using FIREFOX...
  • GPAW

  • Referenced in 7 articles [sw22161]
  • approach in implementing an electronic structure simulation software GPAW using the combination of Python ... present some challenges in porting, debugging and profiling the software. In this paper we describe...
  • SOBER

  • Referenced in 8 articles [sw40000]
  • localization of software bugs is one of the essential issues in debugging aids. Previous studies ... localizes software bugs without any prior knowledge of program semantics. Unlike existing statistical debugging approaches...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • supports scientific explorations and engineering. Software development in this area is highly challenging owing ... little use of formal methods to debug software in this area, given that the scientific...
  • jMocha

  • Referenced in 4 articles [sw24777]
  • practical tool for automated debugging of embedded software. In model checking, a high-level description...
  • JADE

  • Referenced in 39 articles [sw11698]
  • JADE (Java Agent DEvelopment Framework) is a software Framework fully implemented in the Java language ... graphical tools that support the debugging and deployment phases. A JADE-based system...
  • PERUSE

  • Referenced in 17 articles [sw00703]
  • testing, and use of PERUSE, an interactive software system for obtaining information from mathematical programs ... This system has been found useful for debugging apphcations of mathematical programming, quickly obtaining small...
  • Kendo

  • Referenced in 7 articles [sw24074]
  • Kendo: efficient deterministic multithreading in software. Although chip-multiprocessors have become the industry standard, developing ... debug, test, and maintain than sequential programs. This paper introduces Kendo: a new software-only ... parallel applications that are easier to develop, debug, and test...
  • CharmFL

  • Referenced in 1 article [sw39990]
  • consuming and error-prone parts of software debugging. There are several tools for helping developers ... present a tool called ”CharmFL” for software fault localization as a plug-in for PyCharm...
  • SWILL

  • Referenced in 3 articles [sw13848]
  • based monitoring, diagnostics, and debugging capabilities to software not normally associated with internet programming...
  • DiSCiPl

  • Referenced in 8 articles [sw31091]
  • DiSCiPl Project: Debugging Systems for Constraint Programming. Constraint Programming is an Emerging Software Technology, where ... boost in the form of effective debugging techniques and environments adapted to its own paradigms...
  • PLT Redex

  • Referenced in 23 articles [sw09921]
  • tool set for such forms of semantics. Software engineers have long known that automatic tool ... prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages ... then introduces PLT Redex, a suite of software tools for expressing these models...
  • SWITCH

  • Referenced in 10 articles [sw02483]
  • technology for developing software for reactive systems is proposed that supports the stages ... subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based...
  • Zoltar

  • Referenced in 4 articles [sw26818]
  • Automated diagnosis of software faults can improve the efficiency of the debugging process...
  • SGX

  • Referenced in 3 articles [sw23075]
  • tools that allows software developers to create and debug applications enabled for Intel...