The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Browse the full TAP paper archive.