![]() | ![]() |
| 2008 | ||
|---|---|---|
| 2 | 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 | 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 | Matthew Staats (Matt Staats) | [2] |
| 5 | Kurt Woodham | [2] |
Colors in the list of coauthors
Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page