1399 search results - page 265 / 280 » Verification of Test Suites |
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
TISSEC
2010
13 years 5 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
TON
2010
13 years 5 months ago
2010
Dense deployments of WLANs suffer from increased interference and as a result, reduced capacity. There are three main functions used to improve the overall network capacity: a) in...
SIGSOFT
2005
ACM
14 years 11 months ago
2005
ACM
The C language is among the most widely used in the world, particularly for critical infrastructure software. C programs depend upon macros processed using the C preprocessor, but...
ICSE
2004
IEEE-ACM
14 years 11 months ago
2004
IEEE-ACM
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...