Conference , Workshops Proceedings

Test Generation by Constraint Solving and FSM Mutan Killing

Petrenko, A., Nguena Timo, O. and Ramesh, S. "Test Generation by Constraint Solving and FSM Mutan Killing" in Proc. of the 28th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2016), pp. 36-51 Volume 9976 of the series Lecture Notes in Computer Science. Graz, Austria, 17 to 19 October 2016

  • FRQNT RT @FRQ_NT: Grâce à l'expertise du @CRIM_ca, @Mobi724 se lance dans le prédictif! #BigData #algorithmes #FinTech #techno @InvestQuebec @Ca…
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk