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

  • CANHEIT-TECC 2018
    21/06/18 0h00
    Université Simon Fraser, Burnaby, Colombie Britanique
    L'équipe Parole et Texte du CRIM présentera une affiche au "Canadian higher education IT leaders" (CANHEIT-TECC) qui se déroulera du 18 au 21 juin 2018 à l'Université Simon Fraser à Burnaby en Colombie Britanique.
    +
  • @SIM5QC et #Batimatech ont l’honneur d’annoncer une collaboration avec @MIPIMPropTech pour le 2e concours… https://t.co/RFxtNYHokY
  • PRIMA Québec RT @PRIMAQUEBEC: Dévoilement des recommandations du comité d’orientation de la grappe #IntelligenceArtificielle #innovation @economie_quebe…