ICTSS 2017

ICTSS 2017
11/10/17 0h00
St-Petersburg, Russie

L'équipe Modélisation et développement logiciel avancé du CRIM présentera trois (3) articles scientifiques à la «29th IFIP International Conference on Testing Software and Systems (ICTSS) 2017», qui se déroulera du 9 au 11 octobre 2017 à St-Petersburg, Russie.

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs, Nguena-Timo, O., Petrenko, A.

Generating Checking Sequences for User Defined Fault Models, Petrenko, A., Simao, A.

From Passive to Active FSM Inference via Checking Sequence Construction, Petrenko, A., Avellaneda, F., Groz, R., Oriat, C.

ICTSS est une série de conférences internationales traitant des problèmes conceptuels, théoriques et pratiques du test des systèmes logiciels, y compris les protocoles de communication, les services, les plates-formes distribuées, les middleware, les systèmes physiques et cyber-physiques et les infrastructures de sécurité.

Information

Événement à venir

  • IEEE ICDM 2017
    21/11/17 8h00
    Nouvelle Orléan, USA
    L'équipe Technologies émergentes et Science des données présentera un article scientifiques accepté à l'"IEEE International Conference on Data Mining 2017" (ICDM 2017) qui se tiendra du 18 au 21 novembre 2017 en nouvelle Orléans, U.S.A.
    +
  • Célébrons nos succès! Réservez dès maintenant votre place au Grand rassemblement #technopolys #joigneztechnopolys… https://t.co/dzkPO1nSDS
  • Appel de candidatures Prix PDG de l'année 2018 @InvestQuebec @aqtech https://t.co/TTizNYbPYZ