Sciweavers

1253 search results - page 9 / 251
» Exploration Testing
Sort
View
FATES
2003
Springer
15 years 5 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
76
Voted
PVLDB
2010
151views more  PVLDB 2010»
14 years 10 months ago
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux
We present Data Auditor, a tool for exploring data quality and data semantics. Given a rule or an integrity constraint and a target relation, Data Auditor computes pattern tableau...
Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh...
ERSA
2010
182views Hardware» more  ERSA 2010»
14 years 9 months ago
Integrating Application Specification and Performance Prediction for Strategic Design-Space Exploration
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
Brian Holland, Alan D. George, Herman Lam
CVIU
2006
107views more  CVIU 2006»
14 years 11 months ago
Testing new variants of the Beckmann-Kirchhoff model against radiance data
In this paper, we explore whether the Fresnel term can be used to improve the predictions of the Beckmann
Hossein Ragheb, Edwin R. Hancock
ITC
1998
IEEE
174views Hardware» more  ITC 1998»
15 years 4 months ago
High volume microprocessor test escapes, an analysis of defects our tests are missing
This paper explores defects found in a high volume microprocessor when shipping at a low defect level. A brief description of the manufacturing flow along with definition of DPM i...
Wayne M. Needham, Cheryl Prunty, Yeoh Eng Hong