1938 search results - page 17 / 388 » Dependable Software |
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
IWPC
2002
IEEE
14 years 3 months ago
2002
IEEE
Program slicing has many applications in software engineering activities including program comprehension, debugging, testing, maintenance, and model checking. In this paper, we pr...
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
DATE
2008
IEEE
14 years 5 months ago
2008
IEEE
We expect that in future commodity hardware will be used in safety critical applications. But the used commodity microprocessors will become less reliable because of decreasing fe...