| |
| 2008 | ||
|---|---|---|
| 2 | EE | Matt Staats, Weijia Deng, Ajitha Rajan, Mats Per Erik Heimdahl, Kurt Woodham: ReqsCov: A Tool for Measuring Test-Adequacy over Requirements. ASE 2008: 499-500 |
| 2005 | ||
| 1 | EE | Weijia Deng, Huimin Lin: Extended Symbolic Transition Graphs with Assignment. COMPSAC (1) 2005: 227-232 |
| 1 | Mats Per Erik Heimdahl | [2] |
| 2 | Huimin Lin | [1] |
| 3 | Ajitha Rajan | [2] |
| 4 | Matt Staats | [2] |
| 5 | Kurt Woodham | [2] |