Author :
Bernet, G. ; Bouaziz, Laurent ; Gall, Pascale Le
Keywords :
software testing, random testing, formal specification, functional testing, partition testing, reliability, probabilistic testing; Formal specifications; Hardware; Noise generators; Noise level; Performance evaluation; Permission; Prototypes; Software prototyping; Software testing; System testing;