
QuickCheck
 Referenced in 97 articles
[sw07277]
 automatically tested on random input, but it is also possible to define custom test data ... also point out some pitfalls to avoid. Random testing is especially suitable for functional programs...

MSLiP
 Referenced in 109 articles
[sw01410]
 periods and various types of random structures for the input data. Numerical results compare...

DART
 Referenced in 71 articles
[sw07260]
 program behaves under random testing and automatic generation of new test inputs to direct systematically ... Together, these three techniques constitute Directed Automated Random Testing, or DART for short. The main...

Quicksort
 Referenced in 151 articles
[sw20694]
 comparisons even for sorted inputs. However, in this paper, we demonstrate empirically that the actual ... value. We then show that for the randomized version of Quicksort, the number of element ... measure Inv. More precisely, we prove that randomized Quicksort performs expected ... denotes the number of inversions in the input sequence. This result provides a theoretical explanation...

numericaluniversality
 Referenced in 11 articles
[sw18977]
 possibly stochastic) numerical algorithm with random input data, the time (or number of iterations ... convergence (within a given tolerance) is a random variable, called the halting time. Twocomponent ... universal curve, independent of the input data distribution, as the dimension increases. Thus...

QuickHeapsort
 Referenced in 10 articles
[sw20695]
 upper bounds and valid for every input. Our computer experiments show that the gap between ... bounds and the actual values on random inputs is small. Moreover, the computer experiments establish...

GUIHDMR
 Referenced in 22 articles
[sw07924]
 data). If the input parameters can be controlled, then a quasirandom sampling method ... that the input space is covered more uniformly than by using random values...

PBS
 Referenced in 38 articles
[sw04622]
 Reads as input both: CNF constraints, PB constraints (e.g. 2x + 3y + . + 6z <= 7, where ... Static/Dynamic decision heuristics, 1UIP conflict diagnosis, Random restarts and backtracking...

Tiamat
 Referenced in 6 articles
[sw00963]
 automatic sequence generator that combines user input with random sequence generation to efficiently label...

jCUTE
 Referenced in 11 articles
[sw26692]
 tests for Java programs. Concolic execution combines randomized concrete execution with symbolic execution and automatic ... jCUTE to discern inputs that lead down different execution paths; randomized concrete execution helps...

NIST Statistical Test Suite
 Referenced in 87 articles
[sw22972]
 discusses some aspects of selecting and testing random and pseudorandom number generators. The outputs ... absence of knowledge of the inputs. Some criteria for characterizing and selecting appropriate generators...

GraphBase
 Referenced in 123 articles
[sw01555]
 works of fiction, highway distances between cities, inputoutput statistics of the US economy, college ... random_bigraph (128, 128, 1000, 1, 0, 0, 0, 0, 314159) and allperms...

WExEd
 Referenced in 2 articles
[sw12578]
 exercises can be multistep, allow for random input variables and offer the possibility to check ... such as Mathematica or Maple. With random variables, a student can solve multiple instances...

MLSY_OSM_SH
 Referenced in 2 articles
[sw28033]
 control systems with both deterministic and random input signals are designed. These algorithms are implemented...

mlrnd
 Referenced in 39 articles
[sw20908]
 function mlrnd. Returns a matrix of IID random numbers distributed according to the oneparameter ... same as that of the input matrices beta and gamma_t, that must match. Alternatively...

RTNI
 Referenced in 4 articles
[sw28081]
 corresponding to tensor contractions. Input and output spaces of random unitaries may be subdivided into...

TensorToolbox
 Referenced in 1 article
[sw17589]
 function, the dimension of the input space, and the TT ranks. We also show that ... solution of an elliptic PDE with random input data. The open source software and examples...

GPC
 Referenced in 2 articles
[sw24937]
 expansion of a model taking as input independent random variables is achieved. A statistical...

getRDS
 Referenced in 3 articles
[sw12595]
 always necessary to resort to randomness to generate inputs. Then, novel sampling methods were derived ... compared to the well known Mersenne Twister random number generator MT19937 (MT). We noticed that...