• MADM

  • Referenced in 119 articles [sw06484]
  • SOIW methods are included. This comprehensive coverage makes Decision Making in Manufacturing Environment Using Graph...
  • QuickCheck

  • Referenced in 88 articles [sw07277]
  • then random testing suffuces to obtain good coverage of the definition under test...
  • KLEE

  • Referenced in 42 articles [sw04894]
  • KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Symbolic execution ... automatically generating tests that achieve high coverage on a diverse set of complex and environmentally ... existence. KLEE-generated tests achieve high line coverage — on average over 90% per tool (median ... over 94%) — and significantly beat the coverage of the developers’ own hand-written test suites...
  • GOLEM

  • Referenced in 52 articles [sw24695]
  • step. Again, the rlgg with the greatest coverage is selected and generalised by the same ... generalisation process is repeated until the coverage of the best clause stops increasing. GOLEM conducts...
  • Gecode

  • Referenced in 63 articles [sw06272]
  • different test cases reaching a test coverage close...
  • YAGO

  • Referenced in 51 articles [sw11909]
  • light-weight and extensible ontology with high coverage and quality. YAGO builds on entities...
  • PlanetLab

  • Referenced in 35 articles [sw21082]
  • PlanetLab: an overlay testbed for broad-coverage services. PlanetLab is a global overlay network ... developing and accessing broad-coverage network services. Our goal is to grow to 1000 geographically...
  • CMAR

  • Referenced in 48 articles [sw28406]
  • effectively based on confidence, correlation and database coverage. The classification is performed based...
  • Pex

  • Referenced in 33 articles [sw07263]
  • small test suite with high code coverage for a .NET program. To this ... test suite which often achieves high code coverage. In one case study, we applied...
  • Euk-mPLoc

  • Referenced in 42 articles [sw26860]
  • development of Euk-mPLoc in both the coverage scope and prediction accuracy, we will timely...
  • pLoc-mEuk

  • Referenced in 31 articles [sw24440]
  • have the following two limitations: (1) their coverage scope is less than ten locations...
  • Psortb

  • Referenced in 18 articles [sw11344]
  • tool available. However, the program’s predictive coverage and recall are low and the method ... work are as follows: increase PSORTb’s coverage while maintaining the existing precision level, expand ... positive and Gram-negative bacteria and predictive coverage comparable to other tools for whole proteome...
  • STRING

  • Referenced in 26 articles [sw23938]
  • v9.1: protein-protein interaction networks, with increased coverage and integration. Complete knowledge of all direct...
  • Velvet

  • Referenced in 25 articles [sw17026]
  • mers) that is ideal for high coverage, very short read (25-50 bp) data sets...
  • UniTESK

  • Referenced in 21 articles [sw06566]
  • reliable testing of system behavior with required coverage. We developed specification extensions...
  • PELLPACK

  • Referenced in 20 articles [sw00698]
  • include several specific PDE solving methods. Its coverage for 1D, 2D, and 3D elliptic...
  • GPGPU

  • Referenced in 20 articles [sw09105]
  • some non-graphics problems.This course provides detailed coverage of general-purpose computation on graphics hardware...
  • TM-align

  • Referenced in 14 articles [sw22248]
  • resulting structure alignments have higher accuracy and coverage than those provided by these most often ... RMSD, of 3 Å and 87% alignment coverage. Nevertheless, there exists a significant correlation between...
  • Symstra

  • Referenced in 18 articles [sw01296]
  • generates unit tests that achieve higher branch coverage faster than the existing test-generation techniques...
  • qLearn

  • Referenced in 16 articles [sw11117]
  • suggest that the proposed method delivers nominal coverage while being less conservative than alternatives...