APEx: automated inference of error specifications for C APIs.
Yuan Jochen KangBaishakhi RaySuman JanaPublished in: ASE (2016)
Keyphrases
- error rate
- probabilistic inference
- delay insensitive
- inference mechanism
- semi automatic
- relative error
- semi automated
- approximation error
- inference process
- control flow
- high level
- error analysis
- prediction error
- error bounds
- application developers
- automated analysis
- fully automated
- probability distribution
- asynchronous circuits
- bayesian networks