BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (2)
test (2)
space (1)
constraint (1)
critic (1)

Stem randomis$ (all stems)

5 papers:

CSLCSL-2011-Eickmeyer #first-order #logic #random
Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
CSLCSL-2010-EickmeyerG #complexity
Randomisation and Derandomisation in Descriptive Complexity Theory (KE, MG), pp. 275–289.
SACSAC-2009-FarberB #composition #multi
Multivariate root finding with search space decomposition and randomisation (MF, BB), pp. 1142–1143.
AdaEuropeAdaEurope-2004-GiriMJK #ada #approach #random #safety #testing
A Randomised Test Approach to Testing Safety Critical Ada Code (SKG, AM, YVJ, KK), pp. 190–199.
ICLPJICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random
Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.