Sciweavers

1215 search results - page 65 / 243
» A theory of Error-Rate Testing
Sort
View
DAM
2007
85views more  DAM 2007»
15 years 6 months ago
Testing primitivity on partial words
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...
Francine Blanchet-Sadri, Arundhati R. Anavekar
143
Voted
FATES
2003
Springer
15 years 11 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw
JCO
2008
98views more  JCO 2008»
15 years 6 months ago
A survey on nonadaptive group testing algorithms through the angle of decoding
Abstract Group testing, sometimes called pooling design, has been applied to a variety of problems such as blood testing, multiple access communication, coding theory, among others...
Hong-Bin Chen, Frank K. Hwang
ENTCS
2002
152views more  ENTCS 2002»
15 years 5 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig
134
Voted
ECAL
2001
Springer
15 years 10 months ago
Passing the ALife Test: Activity Statistics Classify Evolution in Geb as Unbounded
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
Alastair Channon