Search Sciweavers | Sciweavers

1414 search results - page 40 / 283

» Automated Metamorphic Testing

click to vote

FORMATS
2009
Springer

124views Formal Methods» more FORMATS 2009»

Exploiting Timed Automata for Conformance Testing of Power Measurements

14 years 2 months ago

Download ftp.tik.ee.ethz.ch

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...

Matthias Woehrle, Kai Lampka, Lothar Thiele

claim paper

Read More »

click to vote

SEW
2006
IEEE

108views Software Engineering» more SEW 2006»

Pseudo-Exhaustive Testing for Software

14 years 1 months ago

Download csrc.nist.gov

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...

D. Richard Kuhn, Vadim Okun

claim paper

Read More »

click to vote

DLOG
2009

144views Automated Reasoning» more DLOG 2009»

Testing Provers on a Grid - Framework Description

13 years 5 months ago

Download glyc.dc.uba.ar

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...

Carlos Areces, Daniel Gorín, Alejandra Lore...

claim paper

Read More »

click to vote

DAC
1999
ACM

182views Computer Architecture» more DAC 1999»

A Study in Coverage-Driven Test Generation

14 years 8 months ago