Key points are not available for this paper at this time.
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules.
Share your take
Add a clinician perspective alongside expert commentary.
Ball et al. (Tue,) studied this question.