927 search results - page 51 / 186 » Practical Limits on Software Dependability: A Case Study |
DKE
2007
13 years 7 months ago
2007
This paper presents a methodology for knowledge acquisition from source code. We use data mining to support semiautomated software maintenance and comprehension and provide practi...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
DSP
2008
13 years 7 months ago
2008
The sinusoidal frequency estimation from short data records based on Toeplitz autocorrelation (AC) matrix estimates suffer from the dependence on the initial phases of the sinusoi...
ISAS
2004
Springer
14 years 1 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
ESE
2006
13 years 7 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...