1100 search results - page 50 / 220 » Instrumenting annotated programs |
127
click to vote
RAID
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....
125
click to vote
CACM
2011
14 years 8 months ago
2011
Software Transactional Memory (STM) promises to simplify concurrent programming without requiring specific hardware support. Yet, STM’s credibility lies on the extent to which ...
117
click to vote
CSMR
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
110
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
208
click to vote
OOPSLA
2009
Springer
15 years 7 months 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,...