6014 search results - page 151 / 1203 » Structural Testing with Use Cases |
115
Voted
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Integration of magnetic resonance (MR) and positron emission tomography (PET) images of the heart has proved its usefulness for the estimation of the myocardial viability...
128
Voted
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
150
Voted
EUROSYS
2010
ACM
16 years 19 days ago
2010
ACM
The benefits of virtualized IT environments, such as compute clouds, have drawn interested enterprises to migrate their applications onto new platforms to gain the advantages of ...
133
Voted
ITC
1996
IEEE
15 years 7 months ago
1996
IEEE
This paper describes test generation for delay faults caused by global process disturbances. The structural and spatial correlation between path delays is used to reduce the numbe...
109
Voted
ANSOFT
1999
15 years 3 months ago
1999
In real-time systems, dynamic inconsistencies of software are hardly detected, diagnosed and handled. A built-in test (BIT) method is developed to cope with software dynamic incon...