2520 search results - page 337 / 504 » Model-checking behavioral programs |
169
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
192
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...
115
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
124
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
126
Voted
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...