184 search results - page 13 / 37 » Automating Guidelines Inspection |
SPLC
2008
14 years 10 days ago
2008
Product derivation, i.e. reusing core assets to build products, did not receive sufficient attention from the productline community, yielding a frustrating situation. On the one h...
FASE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
JEI
2008
13 years 10 months ago
2008
Defect detection in images is a current task in quality control and is often integrated in partially or fully automated systems. Assessing the performances of defect detection algo...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
— A lot of plumbings such as gas pipes and water pipes exist in public utilities, factories, power plants and so on. It is difficult for humans to inspect them directly because t...
ESORICS
2007
Springer
14 years 5 months ago
2007
Springer
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...