1414 search results - page 40 / 283 » Automated Metamorphic Testing |
141
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
154
Voted
SEW
2006
IEEE
15 years 11 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...
145
click to vote
DLOG
2009
15 years 2 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...
81
Voted
DAC
1999
ACM
16 years 6 months ago
1999
ACM
115
Voted
DAC
2004
ACM
16 years 6 months ago
2004
ACM