494 search results - page 9 / 99 » Static Analysis for Guarded Code |
256
Voted
OOPSLA
2009
Springer
16 years 10 days ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
180
Voted
FASE
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
162
Voted
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...
178
Voted
EDCC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
176
Voted
NDSS
2008
IEEE
16 years 6 days ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...