8582 search results - page 212 / 1717 » Here or There |
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
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...
168
click to vote
ENTCS
2002
15 years 6 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
180
click to vote
ENTCS
2002
15 years 6 months ago
2002
The paper discusses the hierarchy of indices of finite automata over infinite objects. This hierarchy corresponds exactly to the hierarchy of alternations of least and greatest fi...
235
click to vote
INFSOF
2000
15 years 6 months ago
2000
The fundamental statistical strategy of improving sampling efficiency through partitioning the population is applied to software testing. Usage models make it possible to apply th...
125
click to vote
MOC
2000
15 years 6 months ago
2000
Gauss-Lobatto quadrature formulae associated with symmetric weight functions are considered. The kernel of the remainder term for classes of analytic functions is investigated on e...