5843 search results - page 782 / 1169 » Software Security in Practice |
157
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
181
click to vote
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
192
click to vote
ICSM
2005
IEEE
16 years 12 days ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...
170
click to vote
ISSRE
2005
IEEE
16 years 12 days ago
2005
IEEE
Evaluation of computing system security requires knowledge of the vulnerabilities present in the system and of potential attacks against the system. Vulnerabilities can be classif...
189
click to vote
PASTE
2005
ACM
16 years 11 days ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...