An automated debugging tool for Node.js