| |
| 2008 | ||
|---|---|---|
| 2 | EE | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke: Combining symbolic execution with model checking to verify parallel numerical programs. ACM Trans. Softw. Eng. Methodol. 17(2): (2008) |
| 2006 | ||
| 1 | EE | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke: Using model checking with symbolic execution to verify parallel numerical programs. ISSTA 2006: 157-168 |
| 1 | George S. Avrunin | [1] [2] |
| 2 | Lori A. Clarke | [1] [2] |
| 3 | Stephen F. Siegel | [1] [2] |