962 search results - page 119 / 193 » Input validation analysis and testing |
ERCIMDL
2009
Springer
15 years 6 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...
125
click to vote
ER
2007
Springer
15 years 6 months ago
2007
Springer
A key goal in safety-critical system development is to provide assurance that the critical requirements are sufficiently addressed. This goal is typically refined into three sub-go...
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
BIBE
2000
IEEE
15 years 4 months ago
2000
IEEE
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
WSC
2007
15 years 2 months ago
2007
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...