External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Automated Bounded Model Checking of API Implementations

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]

Authors

Daniel Neville

This author has not been identified. Look up 'Daniel Neville' in Google

Andrew Malton

This author has not been identified. Look up 'Andrew Malton' in Google

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google
runs on