Daniel Neville, Andrew Malton, Martin Brain, Daniel Kroening. Towards Automated Bounded Model Checking of API Implementations. In Omer Tripp, Christoph M. Wintersteiger, editors, Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. Volume 1639 of CEUR Workshop Proceedings, pages 31-42, CEUR-WS.org, 2016. [doi]
Abstract is missing.