Effectively Combining Software Verification Strategies: Understanding Different Assumptions | IEEE Conference Publication | IEEE Xplore