| Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting | 14 | 0.70 | 2010 |
| Automatic generation of high quality test sets via CBMC. | 1 | 0.36 | 2010 |
| Automatic Test Generation for Coverage Analysis of ERTMS Software | 3 | 0.42 | 2009 |
| Improving the Automatic Test Generation process for Coverage Analysis using CBMC | 1 | 0.35 | 2009 |
| Automatic Test Generation for Coverage Analysis Using CBMC | 4 | 0.50 | 2009 |
