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

  • Batimatech RT @batimateck: Bon, c’est confirmé, https://t.co/4ZLfD5uM9f annonce aujourd’hui son programme pour Batimatech 2018 @SATmontreal #Construc…
  • SciencePresse RT @SciencePresse: L’intelligence artificielle et les Québécois https://t.co/OjN1oFSF0A @Isaburgun #IntelligenceArtificielle #Québec #Perce…