932 search results - page 71 / 187 » Software Reliability Engineering: A Roadmap |
SIGSOFT
2006
ACM
15 years 6 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
116
Voted
ISESE
2005
IEEE
15 years 6 months ago
2005
IEEE
Component Based Software Engineering has been perceived to have immense reuse potential. This area has evoked wide interest and has led to considerable investment in research and ...
ICSE
2005
IEEE-ACM
16 years 20 days ago
2005
IEEE-ACM
In this paper, we propose a method to help users avoid bugs in GUI applications. In particular, users would use the application normally and report bugs that they encounter to pre...
108
Voted
ICSE
2005
IEEE-ACM
15 years 6 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
145
Voted
ISSRE
2008
IEEE
15 years 7 months ago
2008
IEEE
Reliability is a key issue of the Service-Oriented Architecture (SOA) which is widely employed in critical domains such as e-commerce and e-government. Redundancy-based fault tole...