Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Second-order constraints in dynamic invariant inference | 3 | 0.42 | 2014 |
| Residual Investigation: Predictive and Precise Bug Detection. | 5 | 0.39 | 2014 |
| SEDGE: Symbolic example data generation for dataflow programs | 5 | 0.44 | 2013 |
| Exposure Time Change Attack on Image Watermarking Systems | 1 | 0.52 | 2008 |