106 citations · 131 across the 8 of their papers we have counts for
1 paper · 1 filter
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…