Christopher Schuster, Cormac Flanagan: IDVE: an integrated development and verification environment for JavaScript. Programming 2019: 19:1-19:16