• 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. Two-component ... 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...
  • GUI-HDMR

  • Referenced in 22 articles [sw07924]
  • data). If the input parameters can be controlled, then a quasi-random 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, 1-UIP 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, input-output statistics of the US economy, college ... random_bigraph (128, 128, 1000, -1, 0, 0, 0, 0, 314159) and all-perms...
  • 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 one-parameter ... 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...