Périodique

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