148 search results - page 7 / 30 » Automated Systematic Testing of Open Distributed Programs |
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
98
Voted
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
87
Voted
ISSRE
2010
IEEE
14 years 8 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
84
Voted
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
89
Voted
CONCURRENCY
2007
14 years 10 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...