Journal

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" Electronic Notes in Theoretical Computer Science (ENTCS), 320 (2) 2016 : 35-51, Issue C

  • IVADO RT @IVADO_Qc: Montréal, cerveau de l'intelligence artificielle https://t.co/XZqjKerXZL via @LesEchos
  • Montréal Intl RT @MTLINTL: Indeed! #Montréal has so much to offer when it comes to #AI! Great video of .@business highlighting #Canada's rise of #Artific…