Conference , Workshops Proceedings

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs

Nguena Timo, O., Petrenko, A. et Ramesh, S. "Multiple Mutation Testing from Finite State Machines with Symbolic Inputs" dans Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 36-51. Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, 9 to 11 October 2017

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…