4725 search results - page 113 / 945 » Dependence-Based Program Analysis |
224
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
169
click to vote
ICISS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
171
click to vote
FORTE
2004
15 years 8 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
318
click to vote
Book
"This book contains a detailed analysis of the International Standard for the C language"