Towards Automated Bounded Model Checking of API Implementations.

Daniel Neville, Andrew J. Malton, Martin Brain, Daniel Kroening

Browse the full ISSTA paper archive.