3547 search results - page 456 / 710 » Pseudo-Exhaustive Testing for Software |
138
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reade...
176
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type inference algorithm for a dependentlytyped functional language. The novel features of our algorithm are: (i) it can iteratively refine dependent types wit...
146
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Nowadays, commercial websites use an increasing amount of rich media ads, since these ads grab users’ attention more easily. Ad overloading has a counterproductive effect and w...
203
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Liver segmentation from scans of the abdominal area is an important step in several diagnostic processes. CT scans of the abdominal area contain several organs in close proximity ...
183
Voted
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
Missing or faulty exception handling has caused a number of spectacular system failures and is a major cause of software failures in extensively tested critical systems. Prior wor...