Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

Dirk Beyer, Matthias Dangl

Browse the full ISoLA paper archive.