JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity.

Patrice Chalin Frédéric Rioux

Published in: FM (2008)

Keyphrases

error rate
computer vision
high level
computational efficiency
error bounds
e learning
business intelligence