• Magma

  • Referenced in 3315 articles [sw00540]
  • Magma is a large, well-supported software package designed for computations in algebra, number theory ... encourage all users to report any bugs they find; regular patch fixes are available from...
  • GitHub

  • Referenced in 2766 articles [sw23170]
  • control and several collaboration features such as bug tracking, feature requests, task management, and wikis ... commonly used to host open-source software projects.[6] As of April 2017, GitHub reports...
  • BUGS

  • Referenced in 378 articles [sw07885]
  • BUGS (Bayesian inference Using Gibbs Sampling) project is concerned with flexible software for the Bayesian ... Classic’ BUGS program, and then onto the WinBUGS software developed jointly with the Imperial College...
  • WinBUGS

  • Referenced in 771 articles [sw04492]
  • WinBUGS is part of the BUGS project, which aims to make practical MCMC methods available ... although it can be called from other software...
  • OpenBUGS

  • Referenced in 80 articles [sw08316]
  • BUGS is a software package for performing Bayesian inference Using Gibbs Sampling. The user specifies ... stating the relationships between related variables. The software includes an ‘expert system’, which determines ... types. There are two main versions of BUGS, namely WinBUGS and OpenBUGS. This site ... OpenBUGS, therefore, represents the future of the BUGS project. WinBUGS, on the other hand...
  • Zing

  • Referenced in 38 articles [sw01037]
  • used for verifying and finding bugs in software at various levels: high-level protocol descriptions...
  • COIN-OR

  • Referenced in 105 articles [sw04615]
  • source code, software evolves. People improve it, people adapt it, people fix bugs. The results ... been remarkable. Community-based efforts to develop software under open-source licenses have produced high...
  • LDPC

  • Referenced in 82 articles [sw03321]
  • page. The source code for this software is also hosted at Github, where there ... latest release. Github also provides facilities for bug reporting and discussion...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • Abstraction Software verification Tool) is a static software verification tool for C language that solves ... bug here as well. BLAST and all the components it relies on are free software...
  • CryptDB

  • Referenced in 16 articles [sw27061]
  • sensitive information because adversaries can exploit software bugs to gain access to private data...
  • PMTK

  • Referenced in 236 articles [sw14689]
  • provide a unified conceptual and software framework encompassing machine learning, graphical models, and Bayesian statistics ... toolbox is in maintenance mode, meaning that bugs will be fixed, but no new features...
  • SOBER

  • Referenced in 8 articles [sw40000]
  • based bug localization. Automated localization of software bugs is one of the essential issues ... predicates may disclose important clues about underlying bugs. In this paper, we propose ... based approach, called SOBER, which localizes software bugs without any prior knowledge of program semantics...
  • MOPS

  • Referenced in 23 articles [sw10117]
  • formal approach for finding bugs in security-relevant software and verifying their absence. The idea...
  • AVIO

  • Referenced in 6 articles [sw23090]
  • test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most ... concurrency bug detection work focuses on one bug subclass, data races, and neglects many other ... first implementation, AVIO-S, is purely in software, while the second, AVIO-H, requires some ... more suitable for in-house bug detection and postmortem bug diagnosis, while AVIO...
  • CP-miner

  • Referenced in 11 articles [sw09179]
  • Bugs in Operating System Code. Copy-pasted code is very common in large software because ... that copy-paste is prone to introducing bugs and a significant portion of operating system ... bugs concentrate in copy-pasted code. Unfortunately, it is challenging to efficiently identify copy-pasted ... large software including operating systems, and detects copy-paste related bugs. Specifically, it takes less...
  • Bugbench

  • Referenced in 3 articles [sw28473]
  • Bugbench: Benchmarks for Evaluating Bug Detection Tools. Benchmarking provides an effective way to evaluate different ... good benchmark suite to systematically evaluate software bug detection tools. As a result ... with various types of software bugs. Third, we conduct a preliminary study on the application ... characteristics in the context of software bug detection. Finally, we evaluate several existing bug detection...
  • gvs_BUGS

  • Referenced in 4 articles [sw26317]
  • using the BUGS software (Spiegelhalter et al. , 1996a,b,c). The specification of the likelihood ... calculation of the posterior probabilities within BUGS environment when the number of models is limited...
  • DynaMine

  • Referenced in 4 articles [sw33951]
  • lately been given to addressing software bugs such as errors in operating system drivers...
  • Defects4J

  • Referenced in 5 articles [sw26882]
  • studies for Java programs. Empirical studies in software testing research may not be comparable, reproducible ... reason is that real bugs are too infrequently used in software testing research. Extracting ... extensible framework providing real bugs to enable reproducible studies in software testing research. The initial ... program is configured in Defects4J, new bugs can be added to the database with little...
  • MultiBUGS

  • Referenced in 6 articles [sw31621]
  • models that can be fitted using BUGS-language software, but automatically parallelises the MCMC algorithm...