1994 search results - page 118 / 399 » Limited Software Warranties |
ICSM
2005
IEEE
14 years 3 months ago
2005
IEEE
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
WCRE
2003
IEEE
14 years 3 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...