Acte de conférence, colloque et atelier

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, du 23 au 25 juin 2015