机译:JSConTest:合同驱动的测试和JavaScript的路径效应推断
机译:JAVASCRIPT引擎中基于二进制代码修补的JIT编译代码的重用
机译:RPG编码器JavaScript
机译:合同驱动的JavaScript代码测试
机译:ux-rule:一个JavaScript框架,用于网页的动态和静态可访问性测试。
机译:使用ASTEC和MELCOR代码对PhébusFPT测试进行独立收容分析:FPT-2测试
机译:JSCONTEST:JavaScript的合同驱动测试和路径效果推断。