3 ms·Demo: Automatic bug detection in JS using lightweight function specifications7 points by unignorant 15y ago