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.