|
|
|
|
Publications scientifiques |
|
1998 |
1999 |
2000 |
2001 |
2002 |
2003 |
2004 |
2005 |
2006 |
2007 |
2008 |
2009 |
2010 |
2011 |
2012
AVEC COMITÉ DE LECTURE
Livres
-
Villa, T.,
Yevtushenko, N.,
Brayton, R.K.,
Mishchenko, A.,
Petrenko, A.
and Sangiovanni-Vincentelli, A.
(Eds).
The Unknown Component Problem, Theory and Applications.
Springer,
2012.
311 p.
[Lire en ligne]
Périodiques
-
Ledru, Y.,
Petrenko, A.,
Boroday, S.
and Mandran, N.
"Prioritising Test Cases with String Distances"
Automated Software Engineering,
19
(1)
2012 :
65-95.
Actes de conférence, colloques et ateliers
-
Petrenko, A.,
Simao, A.
and Yevtushenko, N.
"Generating Checking Sequences for Nondeterministic Finite State Machines" In
Proceedings of the IEEE Fifth Int. Conference on Software Testing, Verification and Validation (ICST'12).
Montréal,
Canada,
April 18-20, 2012.
[The Best Paper Award of the ICST 2012]
SANS COMITÉ DE LECTURE
Rapport techniques
-
St-Charles, P.-L.,
Gagnon, L.
Rapport d'avancement des activités du CRIM sur le projet SPEED-Q pour la période d'avril 2011 à mars 2012.
Montréal,
CRIM,
2012.
24 p.
[CRIM-12/03-02]
|
|
|
|
