Inferring finite state machines without reset using state identification sequences

Type de document :
Communication dans un congrès
International Conference on Testing Software and Systems, (ICTSS 2015), Nov 2015, Dubai, United Arab Emirates. 2015
Liste complète des métadonnées

http://hal.univ-grenoble-alpes.fr/hal-01415812
Contributeur : Catherine Oriat <>
Soumis le : mardi 13 décembre 2016 - 15:59:09
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Identifiants

  • HAL Id : hal-01415812, version 1

Collections

Citation

Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. International Conference on Testing Software and Systems, (ICTSS 2015), Nov 2015, Dubai, United Arab Emirates. 2015. 〈hal-01415812〉

Partager

Métriques

Consultations de la notice

104