Conference , Workshops Proceedings

Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, A. "Checking Experiments for Symbolic Input/Output Finite State Machines" in Proc. of the IEEE Ninth International Conference on Software Testing, Verification and Validation (ICST'2016), pp. 3-18 Volume 9447 of the series Lecture Notes in Computer Science. Illinois, Chicago, USA, 10 to 15 April 2016

  • Nous recrutons ! Nous recherchons deux annotateurs pour se joindre à notre équipe :) https://t.co/nFhjT6XKB7
  • Le Canada s'adapte! RT @LeCanadaSadapte: C’est beau de voir @GGJuliePayette montre l'intérêt du projet de recherche visant à évaluer l’impact des #changements…