APEx: automated inference of error specifications for C APIs

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 25, 2016
Source ID
10.1145/2970276.2970354

Entities

People

  • Baishakhi Ray
  • Suman Jana
  • Yuan Kang

Organizations

  • Air Force Office of Scientific Research
  • Columbia University
  • University of Virginia

Tags

Technology Areas

  • AI & ML
  • AI & ML - Bayesian Inference