1938 search results - page 17 / 388 » Dependable Software |
108
Voted
COMPSAC
2002
IEEE
15 years 7 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 ...
136
Voted
ICSE
2009
IEEE-ACM
15 years 7 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....
137
Voted
IWPC
2002
IEEE
15 years 7 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...
88
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
84
Voted
DATE
2008
IEEE
15 years 8 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...