3547 search results - page 266 / 710 » Pseudo-Exhaustive Testing for Software |
219
click to vote
EKAW
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
320
click to vote
ASPLOS
2009
ACM
16 years 8 months ago
2009
ACM
Software failures in server applications are a significant problem for preserving system availability. We present ASSURE, a system that introduces rescue points that recover softw...
150
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
257
click to vote
DELTA
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
187
click to vote
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
Software engineers frequently struggle with understanding the relationships between the source code of a system and its requirements or high-level features. These relationships ar...