Improving Symbolic Traversals by Means of Activity Profiles.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full DAC paper archive.