NodeMOP

[1]  Jong Hyuk Park,et al.  Runtime Verification in Distributed Computing , 2011 .

[2]  Koushik Sen,et al.  A Survey of Dynamic Analysis and Test Generation for JavaScript , 2017, ACM Comput. Surv..

[3]  Frank Tip,et al.  A model for reasoning about JavaScript promises , 2017, Proc. ACM Program. Lang..

[4]  Tzilla Elrad,et al.  Aspect-oriented programming: Introduction , 2001, CACM.

[5]  Ali Mesbah,et al.  Discovering bug patterns in JavaScript , 2016, SIGSOFT FSE.

[6]  Grigore Rosu,et al.  Mop: an efficient and generic runtime verification framework , 2007, OOPSLA.

[7]  Ali Mesbah,et al.  Understanding JavaScript event-based interactions , 2014, ICSE.

[8]  Grigore Rosu,et al.  Parametric Trace Slicing and Monitoring , 2009, TACAS.

[9]  Grigore Rosu,et al.  Java-MOP: A Monitoring Oriented Programming Environment for Java , 2005, TACAS.

[10]  Christian Wimmer,et al.  Practical partial evaluation for high-performance dynamic language runtimes , 2017, PLDI.

[11]  Angelo Ferrando,et al.  Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification , 2016, Theory and Practice of Formal Methods.

[12]  Dimitar Dimitrov,et al.  Stateless model checking of event-driven applications , 2015, OOPSLA.

[13]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[14]  Koushik Sen,et al.  Jalangi: a selective record-replay and dynamic analysis framework for JavaScript , 2013, ESEC/FSE 2013.

[15]  Haiyang Sun,et al.  Efficient dynamic analysis for Node.js , 2018, CC.