NodeMOP: runtime verification for Node.js applications.

Filippo Schiavio, Haiyang Sun, Daniele Bonetta, Andrea Ros, Walter Binder

Browse the full SAC paper archive.