Combining Static Analysis and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Browse the full TAP paper archive.