219 search results - page 22 / 44 » Dynamic partial-order reduction for model checking software |
138
click to vote
C3S2E
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
135
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
120
click to vote
WICSA
2008
15 years 4 months ago
2008
With the spread of the Internet and software evolution in complex intensive systems, software architecture often need be reconfigured during runtime to adapt variable environments...
131
click to vote
WORM
2003
15 years 4 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
139
click to vote
AOSD
2003
ACM
15 years 8 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...