Program slicing enhances a verification technique combining static and dynamic analysis
Omar Chebaro, Nikolaï Kosmatov, Alain Giorgetti, Jacques Julliand · 2012
Recent research proposed efficient methods for software verification combining static and dynamic analysis, where static analysis reports possible runtime errors (some of which may be false alarms) and test generation confirms or rejects them. However, test generation may time out on real-sized programs before confirming some alarms as real bugs or rejecting some others as unreachable.