Sciweavers

4930 search results - page 305 / 986
» Testing a Safety-Critical Application
Sort
View
DAC
1998
ACM
16 years 7 months ago
Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this...
Yossi Malka, Avi Ziv
NCA
2009
IEEE
16 years 1 months ago
Attribute-Based Prevention of Phishing Attacks
Abstract—This paper describes a set of innovative attributebased checks for defending against phishing attacks1 . We explain a number of anti-phishing algorithms implemented as p...
Michael Atighetchi, Partha Pratim Pal
ICFEM
2009
Springer
16 years 1 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
DEXAW
2008
IEEE
119views Database» more  DEXAW 2008»
16 years 1 months ago
Evolutionary Approaches to Linear Ordering Problem
Linear Ordering Problem (LOP) is a well know optimization problem attractive for its complexity (it is a NPhard problem), rich collection of testing data and variety of real world...
Václav Snásel, Pavel Krömer, Ja...
ISBI
2007
IEEE
16 years 1 months ago
A Gradually Unmasking Method for Limited Data Tomography
In limited data tomography, with applications such as electron microscopy, medical imaging, industrial non-destructive testing, etc., the scanning views are within an angular rang...
Hstau Y. Liao