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 acceptés à 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

  • Technologies émergentes, tendances et perspectives
    2/10/17 8h30
    Université Laval - Pavillon Desjardins (Québec)
    Une conférence d'ISACA-Québec en partenariat avec le CRIM qui se tiendra le 2 octobre 2017 à l'Université Laval à Québec.
    +
  • Saviez-vous que Le Solutionneur a été utilisé pr 120 écoles sec QC pr faire horaires #rentree2017 de 101 000 élèves… https://t.co/b2Nr7NfJrD
  • CRIM is happy to present 2 papers at #IWCS2017! https://t.co/wcH8i2mTdZ https://t.co/Hc9IDNvwhj