• svylogitgof

  • Referenced in 5 articles [sw06486]
  • tests have been proposed, the properties of these tests have been studied under the assumption ... address this problem, goodness-of-fit tests for logistic regression models when data are collected ... complex sampling designs are proposed. Properties of the proposed tests were examined using extensive simulation...
  • PrologCheck

  • Referenced in 3 articles [sw14206]
  • Prologcheck -- property-based testing in prolog. We present PrologCheck, an automatic tool for property based ... logic programming language Prolog with randomised test data generation. The tool is inspired ... from describing properties as Prolog goals. It enables the definition of custom test data generators ... random testing tailored for the property to be tested. Further, it allows...
  • BRITE

  • Referenced in 34 articles [sw03098]
  • properties recently observed in Internet topologies. Different combinations of possible causes can be tested...
  • ODEXPERT

  • Referenced in 9 articles [sw13889]
  • input problem by performing automated tests to detect properties and structures in the problem which...
  • SVMlight

  • Referenced in 268 articles [sw04076]
  • Almost unbiased estimates provides leave-one-out testing. SVMlight exploits that the results of most ... medical applications. Many tasks have the property of sparse instance vectors. This implementation makes...
  • iNuc-PseKNC

  • Referenced in 31 articles [sw16607]
  • structural properties were incorporated. It was observed by the rigorous cross-validation tests...
  • iRSpot-PseDNC

  • Referenced in 65 articles [sw22437]
  • PseDNC), into which six local DNA structural properties, i.e. three angular parameters (twist, tilt ... observed by the rigorous jackknife test that the overall success rate achieved by iRSpot-PseDNC...
  • Luck

  • Referenced in 4 articles [sw21716]
  • language for property-based generators. Property-based random testing `a la QuickCheck requires building efficient ... formal semantics and prove several fundamental properties, including the soundness and completeness of random generation ... Luck on common examples from the property-based testing literature and on two significant case...
  • rp.flm.test

  • Referenced in 8 articles [sw28046]
  • covariate is proved. The computation of the test in practice involves calibration by wild bootstrap ... rate method. The finite sample properties of the tests are illustrated in a simulation study...
  • PUNCH

  • Referenced in 6 articles [sw02447]
  • using given (changeable) criteria. We also test some properties of the program and discuss future...
  • PropEr

  • Referenced in 2 articles [sw28178]
  • PropEr: a QuickCheck-inspired property-based testing tool for Erlang. PropEr is a tool ... automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang ... PropEr also contain support for targeted property-based testing, a powerful extension that brings techniques ... from search-based testing into property-based testing...
  • GraphTheory

  • Referenced in 8 articles [sw15923]
  • drawing graphs, manipulating graphs, and testing graphs for properties. The graphs are sets of vertices...
  • UNIRAN

  • Referenced in 12 articles [sw28493]
  • techniques illustrate the advantages of a well-tested por table algorithm and expose some problems ... statistical properties of the generator used in this routine are documented and local testing ... their per formance on uniformity and independence tests. The provid ed seed values enable ... user to select streams with the desired properties for a particular application...
  • ORBIT

  • Referenced in 39 articles [sw20552]
  • sufficiently poised for linear interpolation. The RBF property of conditional positive definiteness yields a natural ... additional points. We present numerical results on test problems to motivate the use of ORBIT...
  • PROFEAT

  • Referenced in 14 articles [sw16924]
  • based on user-defined properties. Our computational algorithms were extensively tested and the computed protein...
  • CONTEST

  • Referenced in 22 articles [sw12738]
  • CONTEST: A controllable test toolbox for MATLAB. Large, sparse networks that describe complex interactions ... properties of real-life networks. These models provide realistic, parametrized matrices for testing linear system...
  • iRNAm5C-PseDNC

  • Referenced in 23 articles [sw24531]
  • chemical properties into pseudo dinucleotide composition via the auto/cross-covariance approach. Rigorous jackknife tests show that...
  • COFFEE

  • Referenced in 22 articles [sw20274]
  • mathematical property of finite element integration kernels, namely linearity of operators in test and trial...
  • xtserial

  • Referenced in 9 articles [sw37343]
  • that the new Wooldridge test has good size and power properties in reasonably sized samples...
  • iRNA-Methyl

  • Referenced in 14 articles [sw22439]
  • which three RNA physiochemical properties were incorporated. Rigorous cross-validation tests have indicated that iRNA...