Conference , Workshops Proceedings

Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study

Nguena Timo, O. and Langelier, G. "Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study" in The 1st workshop on Uses of Symbolic Execution (USE 2015). Oslo, Norway, 23 to 25 June 2015

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4