Efficient software model checking of data structure properties.

Paul T. Darga, Chandrasekhar Boyapati

Browse the full OOPSLA paper archive.