Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs | IEEE Conference Publication | IEEE Xplore