Precise concolic unit testing of C programs using extended units and symbolic alarm filtering.

Yunho Kim, Yunja Choi, Moonzoo Kim

Browse the full ICSE paper archive.