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

  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly Express.ca RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…