6293 search results - page 1188 / 1259 » Information Flow Testing |
178
click to vote
KBSE
2007
IEEE
16 years 17 days ago
2007
IEEE
Software developers spend a significant portion of their resources handling user-submitted bug reports. For software that is widely deployed, the number of bug reports typically ...
180
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
163
click to vote
AIME
2007
Springer
16 years 14 days ago
2007
Springer
This paper discusses variable selection for medical decision making; in particular decisions regarding when to provide treatment and which treatment to provide. Current variable se...
159
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
179
click to vote
CCS
2007
ACM
16 years 14 days ago
2007
ACM
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...