| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | — | conf |
MTD@ICSE
|
| 2007 | Misc | conf |
QUATIC
|
| 2004 | — | conf |
Software Audit and Metrics
|
| 2003 | J | jnl |
Sci. Comput. Program.
|
| 2003 | — | conf |
ICSM
|
| 2003 | B | conf |
VISSOFT
|
| 2002 | B | conf |
SPLC
|
| 2001 | — | conf |
LDTA@ETAPS
|
| 2001 | B | conf |
CC
|
| 2001 | — | conf |
LDTA@ETAPS
|
| 2000 | — | conf |
IWPC
|
| 1999 | — | conf |
ICSM
|
| 1999 | A* | conf |
ICSE
|
| 1998 | — | conf |
IWPC
|