962 search results - page 92 / 193 » Input validation analysis and testing |
122
click to vote
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Modern automobiles are no longer mere mechanical devices; they are pervasively monitored and controlled by dozens of digital computers coordinated via internal vehicular...
102
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
104
click to vote
VC
2010
15 years 24 days ago
2010
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
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 ...
171
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...