Program slicing enhances a verification technique combining static and dynamic analysis.

Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand

Browse the full SAC paper archive.