Ban3

Informations sur l'auteur

Alexandre Petrenko

http://pistou.imag.fr/site/author/5515

  
 

Publications de l'auteur

La liste contient 9 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2012
1
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran.
Prioritising Test Cases with String Distances.
Journal of Automated Software Engineering, 19(1):65-95, 2012. Note: DOI 10.1007/s10515-011-0093-0.
bibtex/ html
2004
2
Alexandre Petrenko, Sergiy Boroday, Roland Groz.
Confirming Configurations in EFSM Testing.
IEEE Trans. Software Engineering, 30(1):29--42, 2004.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2009
3
Yves Ledru, Alexandre Petrenko, Sergiy Boroday.
J. Grundy, M. Heimdahl, G. Taentzer.
Using String Distances for Test Case Prioritisation.
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), short paper (5 pages), November 16-20, 2009, Auckland, New Zealand, 2009.
bibtex/ html
2008
4
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz.
Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa.
Modular System Verification by Inference, Testing and Reachability Analysis.
Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, 5047:216-233, Lecture Notes in Computer Science, 2008.
bibtex/ html
2007
5
Sergiy Boroday, Alexandre Petrenko, Roland Groz.
Can a Model-Checker generate Tests for Non-Deterministic Systems.
Third Workshop on Model-Based Testing (MBT), :3--19, Braga, Portugal, mar 2007.
bibtex/ html
6
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier.
Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
A Compositional Testing Framework Driven by Partial Specifications.
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, 4581:107-122, Lecture Notes in Computer Science, 2007.
bibtex/ html
2002
7
Sergiy Boroday, Alexandre Petrenko, Roland Groz, Y-M. Quemener.
Test generation for CEFSM Combining Specification and Fault Coverage.
TestCom 2002, Berlin, mar 2002.
bibtex/ html
8
Sergiy Boroday, Roland Groz, Alexandre Petrenko, Y-M. Quemener.
Techniques for Abstracting SDL Specifications.
SDL and MSC (SAM) Workshop 2002, Aberystwyth, Wales, jun 2002.
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2005
9
Audrey Kermarrec, Roland Groz, Benoît Parreaux, Alexandre Petrenko.
Machines de mutations pour l'enrichissement de test de protocoles.
Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), :33--49, Bordeaux, mar 2005.
bibtex/ html