10715 search results - page 153 / 2143 » Proofs from Tests |
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
93
Voted
PTS
2007
15 years 2 months ago
2007
Abstract. We investigate the use of parameterized state machine models to drive integration testing, in the case where the models of components are not available beforehand. Theref...
97
Voted
ICIP
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we propose a method for discrimination of underlying textural structures from spotlight-mode synthetic aperture radar (SAR) returns by using a tomographic data acqui...
110
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
99
Voted
ISIWI
2000
15 years 2 months ago
2000
The paper presents the results of a study on usability methods for evaluating Web sites. lt summarizes the "Heuristics for Web Communications," and reports the practical...