Abstractions and Pattern Databases: The Quest for Succinctness and Accuracy.

Sebastian Kupferschmid, Martin Wehrle

Browse the full TACAS paper archive.