661 search results - page 57 / 133 » What Can We Expect from Program Verification |
ICMCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Individual learning capabilities can vary from gifted to exceptionally slow; some students may take longer to understand a concept and may not be able to achieve the expected stan...
ISSRE
2002
IEEE
14 years 1 months ago
2002
IEEE
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
COMPUTER
2002
13 years 8 months ago
2002
ion, so mapping between GUI events and the underlying code is not straightforward. Code-based coverage criteria do not necessarily address problematic interactions between the GUI&...
ASPDAC
2001
ACM
14 years 10 days ago
2001
ACM
Abstract--We present a processor-programmable built-in selftest (BIST) scheme suitable for embedded memory testing in the system-on-a-chip (SOC) environment. The proposed BIST circ...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...