| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2011 | J | jnl |
Softw. Pract. Exp.
|
| 2011 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2010 | — | conf |
QSIC
|
| 2009 | — | conf |
TestCom/FATES
|
| 2009 | — | conf |
FORMATS
|
| 2008 | A | conf |
ICST
|
| 2008 | — | conf |
QSIC
|
| 2007 | — | conf |
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).
ICSE Companion
|
| 2007 | — | conf |
A-MOST
|
| 2006 | — | conf |
SCESM
|
| 2006 | — | conf |
ETX
|
| 2006 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2006 | — | conf |
RAM-SE
|
| 2005 | J | jnl |
IEEE Trans. Software Eng.
|
| 2004 | A* | conf |
ICSE
|