| CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). | 0 | 0.34 | 2019 |
| CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). | 1 | 0.36 | 2019 |
| smid: A Black-Box Program Driver. | 0 | 0.34 | 2016 |
