Using version spaces to support incremental searches in a software library | IEEE Conference Publication | IEEE Xplore