6014 search results - page 51 / 1203 » Structural Testing with Use Cases |
SAS
2012
Springer
12 years 10 days ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
STTT
2011
13 years 4 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
ISSRE
2007
IEEE
13 years 11 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
This work presents a cost-effective test structure that is applicable to built-in self-test of time-to-digital converters (TDCs). The proposed structure uses deterministic dynamic ...
SAFECOMP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...