Sciweavers

962 search results - page 87 / 193
» Input validation analysis and testing
Sort
View
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
15 years 7 months ago
Designed -in-diagnostics: A new optical method
An in-circuit diagnostic test structure triggered by a light pulse captures logic states on-chip with picosecond timing accuracy, and the results read out via a scan chain thus pr...
Keneth R. Wilsher
AUSAI
1997
Springer
15 years 6 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
105
Voted
IAJIT
2006
92views more  IAJIT 2006»
15 years 2 months ago
A Rule-Based Extensible Stemmer for Information Retrieval with Application to Arabic
: This paper presents a new and extensible method for information retrieval and content analysis in natural languages (NL). The proposed method is stem-based; stems are extracted b...
Haidar Harmanani, Walid Keirouz, Saeed Raheel
SP
2010
IEEE
182views Security Privacy» more  SP 2010»
15 years 6 months ago
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
Edward J. Schwartz, Thanassis Avgerinos, David Bru...
123
Voted
WSE
2002
IEEE
15 years 7 months ago
Dynamic Model Extraction and Statistical Analysis of Web Applications
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
Paolo Tonella, Filippo Ricca