• PSI-BLAST

  • Referenced in 235 articles [sw17324]
  • generation of protein database search programs. The BLAST programs are widely used tools for searching ... permits the execution time of the BLAST programs to be decreased substantially while enhancing their ... hits, combined with a new heuristic for generating gapped alignments, yields a gapped BLAST program...
  • PYTHIA8

  • Referenced in 139 articles [sw09347]
  • Pythia program is a standard tool for the generation of high-energy collisions, comprising ... utilities and interfaces to external programs. While previous versions were written in Fortran, Pythia...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation of Fortran 77 programs. Given a Fortran ... dependent and independent variables, ADIFOR will generate an augmented derivative code that computes the partial...
  • KLEE

  • Referenced in 44 articles [sw04894]
  • Complex Systems Programs. Symbolic execution tool, KLEE, capable of automatically generating tests that achieve high ... diverse set of complex and environmentally-intensive programs. We used KLEE to thoroughly check ... tested set of open-source programs in existence. KLEE-generated tests achieve high line coverage ... average over 90% per tool (median: over 94%) — and significantly beat the coverage...
  • STP

  • Referenced in 44 articles [sw34795]
  • solve many kinds of problems generated by program analysis tools, theorem provers, automated bug finders...
  • Mplus

  • Referenced in 346 articles [sw06511]
  • program that provides researchers with a flexible tool to analyze their data. Mplus offers researchers ... models, estimators, and algorithms in a program that has an easy-to-use interface ... Carlo simulation studies, where data can be generated and analyzed according...
  • XFEM

  • Referenced in 382 articles [sw01026]
  • finite element code. The programming environment provides a robust tool for extended finite element (XFEM ... with hundreds of enrichment items, a mesh generator and mesh database are included. The salient...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • software. The Bandera Tool Set is an integrated collection of program analysis, transformation, and visualization ... temporal specification language, and it generates a program model and specification in the input language ... several existing model-checking tools (including Spin, dSpin, SMV, and JPF). Both program slicing...
  • QuickCheck

  • Referenced in 102 articles [sw07277]
  • tool which aids the Haskell programmer in formulating and testing properties of programs. Properties ... data generators. We present a number of case studies, in which the tool was successfully ... Random testing is especially suitable for functional programs because properties can be stated...
  • SifDec

  • Referenced in 216 articles [sw04087]
  • Programming Interface. The SIF decoder, formerly a part of CUTE, has become a separate tool ... test problem format and the generation of files suited to automatic differentiation packages...
  • Boogie

  • Referenced in 120 articles [sw07714]
  • also the name of a tool. The tool accepts the Boogie language as input, optionally ... invariants in the given Boogie program, and then generates verification conditions that are passed...
  • FeynRules

  • Referenced in 100 articles [sw06468]
  • field of Monte Carlo event generators and satellite programs allowing for a straightforward implementation ... beyond the standard model theory in those tools, studying the property of any softly-broken...
  • HAMPI

  • Referenced in 21 articles [sw09864]
  • Hampi is designed for constraints generated by program analysis tools, automated bug finders, intelligent fuzzers...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • compiler construction, comparable to other programming tools like parser generators which ease the task...
  • STG

  • Referenced in 21 articles [sw07274]
  • tool for generating symbolic test programs and oracles from operational specifications. We report...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • larger program that handles the interface and data manipulations. It can also generate hardware ... support for explicit or BDD-based verification tools that perform either bisimulation reduction or safety...
  • DISCOVERER

  • Referenced in 56 articles [sw07719]
  • implemented them as a real symbolic computation tool in Maple named DISCOVERER. In this paper ... both on SAS-solving and program verification with DISCOVERER, and then discuss the future work ... solving itself, termination analysis and invariant generation of programs, and reachability computation of hybrid systems...
  • ADIC

  • Referenced in 83 articles [sw03392]
  • ADIC is a tool for the automatic differentiation (AD) of programs written in ANSI ... specification of dependent and independent variables, ADIC generates an augmented C code that computes...
  • GATK

  • Referenced in 17 articles [sw12019]
  • among individuals. However, the massive data sets generated by NGS—the 1000 Genome pilot alone ... writing feature-rich, efficient, and robust analysis tools difficult for even computationally sophisticated individuals. Indeed ... Genome Analysis Toolkit (GATK), a structured programming framework designed to ease the development of efficient ... robust analysis tools for next-generation DNA sequencers using the functional programming philosophy of MapReduce...
  • CFML

  • Referenced in 8 articles [sw13287]
  • code of a pure Caml program, this tool generates a logical formula that implies...