| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2013 | J | jnl |
Formal Methods Syst. Des.
|
| 2013 | B | conf |
FASE
|
| 2011 | — | ch. |
Model-Based Testing for Embedded Systems
|
| 2011 | J | jnl |
Guest Editorial: Special Section from 6th Workshop on Advances in Model-Based Testing (A-MOST 2010).
Inf. Softw. Technol.
|
| 2010 | J | jnl |
Theor. Comput. Sci.
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | J | jnl |
Softw. Pract. Exp.
|
| 2008 | — | conf |
ITNG
|
| 2008 | — | conf |
ICCS (3)
|
| 2008 | Misc | conf |
TASE
|
| 2008 | J | jnl |
Frontiers Comput. Sci. China
|
| 2008 | J | jnl |
Softw. Qual. J.
|
| 2007 | — | conf |
HICSS
|
| 2007 | — | conf |
CASCON
|
| 2006 | J | jnl |
Inf. Softw. Technol.
|
| 2005 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2005 | A* | conf |
ICSE
|
| 2004 | J | jnl |
Computer
|
| 2004 | J | jnl |
J. Syst. Softw.
|
| 2003 | J | jnl |
IEEE Trans. Software Eng.
|
| 2002 | A | conf |
ISSRE
|
| 2000 | J | jnl |
Inf. Softw. Technol.
|
| 2000 | J | jnl |
Softw. Pract. Exp.
|
| 2000 | J | jnl |
Introduction to the special issue on: model-based statistical testing of software intensive systems.
Inf. Softw. Technol.
|
| 2000 | J | jnl |
Inf. Softw. Technol.
|
| 2000 | J | jnl |
Inf. Softw. Technol.
|
| 2000 | J | jnl |
Inf. Softw. Technol.
|
| 1998 | J | jnl |
Softw. Pract. Exp.
|
| 1996 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 1995 | J | jnl |
Softw. Pract. Exp.
|
| 1993 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 1993 | J | jnl |
IEEE Softw.
|
| 1992 | J | jnl |
Softw. Pract. Exp.
|
| 1990 | J | jnl |
Softw. Pract. Exp.
|
| 1988 | J | jnl |
Softw. Pract. Exp.
|