退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:通过集成进化测试和符号执行来改进面向对象程序的结构测试
Kobi Inkumsah; Tao Xie;
机译:面向对象和面向方面的程序的集成测试:Java的结构化成对方法
机译:从单元测试角度量化可能影响符号执行的Java程序特征的实证研究
机译:SQL代码的关系符号执行,用于数据库程序的单元测试
机译:通过集成进化测试和符号执行,提高对象面向程序的结构测试
机译:通过符号执行提高程序测试和理解。
机译:儿童在非符号和符号数值幅度之间的映射及其与数学成绩的定时和非定时测试的关联
机译:使用JAVA程序的动态符号执行来生成计算机程序测试套件的方法和系统
机译:JavaScript程序的符号执行和自动测试用例生成
机译:GPU程序的符号执行和测试生成
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。