Publications de l'auteur Sergiy Boroday


Voir le profil PISTOU de l'auteur

La liste contient 6 élément(s)

(Les éditeurs apparaissent en italique)


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
2007
4
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
2002
5
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
6
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