
svylogitgof
 Referenced in 5 articles
[sw06486]
 tests have been proposed, the properties of these tests have been studied under the assumption ... address this problem, goodnessoffit 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  propertybased 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 leaveoneout testing. SVMlight exploits that the results of most ... medical applications. Many tasks have the property of sparse instance vectors. This implementation makes...

iNucPseKNC
 Referenced in 31 articles
[sw16607]
 structural properties were incorporated. It was observed by the rigorous crossvalidation tests...

iRSpotPseDNC
 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 iRSpotPseDNC...

Luck
 Referenced in 4 articles
[sw21716]
 language for propertybased generators. Propertybased 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 propertybased 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 QuickCheckinspired propertybased testing tool for Erlang. PropEr is a tool ... automated, semirandom, propertybased testing of Erlang programs. It is fully integrated with Erlang ... PropEr also contain support for targeted propertybased testing, a powerful extension that brings techniques ... from searchbased testing into propertybased 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 welltested 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 userdefined 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 reallife networks. These models provide realistic, parametrized matrices for testing linear system...

iRNAm5CPseDNC
 Referenced in 23 articles
[sw24531]
 chemical properties into pseudo dinucleotide composition via the auto/crosscovariance 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...

iRNAMethyl
 Referenced in 14 articles
[sw22439]
 which three RNA physiochemical properties were incorporated. Rigorous crossvalidation tests have indicated that iRNA...