...
机译:灵活且可扩展的Java运行时验证(扩展版)
Shanghai Jiao Tong University Shanghai, China;
Shanghai Jiao Tong University, Shanghai, China;
Universita della Svizzera italiana (USI), Switzerland;
Runtime verification; Monitor-Oriented Programming (MOP); dynamic program analysis; dynamic deployment;
机译:Java应用程序的JavAdaptor-Flexible运行时更新
机译:在灵活的编译器上构建灵活的Java运行时
机译:现有的Java API规范在运行时验证期间发现错误的效率如何?
机译:HLOLA:用于可扩展流运行时验证的非常实用的工具
机译:Jupiter:模块化和可扩展的Java虚拟机框架。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:JaVaDapTOR- Java应用程序的灵活运行时更新
机译:Jeagle:一个JaVa运行时验证工具