438 search results - page 63 / 88 » A Tool for Checking ANSI-C Programs |
146
click to vote
SC
2000
ACM
15 years 7 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...
139
click to vote
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
227
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
117
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
138
Voted
IJNSEC
2007
15 years 3 months ago
2007
Java programs can be transmitted and executed on another host in bytecode format, thus the sensitive information of the host may be leaked via these assembly-like programs. Inform...