Boolean programs: a model and process for software analysis (2000)

by T Ball, S K Rajamani