1 citations · 1 across the 1 of their papers we have counts for
1 paper
Tatiana Mangels, Jan Peleska
We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage and functional coverage based on pre-/post-condition specifications or int…