3527 search results - page 58 / 706 » Test Automation in Practice |
185
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
With the rise of the Internet, virtual communities of practice are gaining importance as a mean of sharing and exchanging information. In such environments, information reuse is of...
208
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
204
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
209
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
