南京大学

价格：面议 基于静态分析和动态运行的Web应用JavaScript代码原子性违反检测

价格：面议 一种基于倒排索引技术的软件缺陷代码文件定位方法

价格：面议 一种运用线性拟合实现路径覆盖的测试数据自动生成方法

价格：面议 一种程序中基于动态符号执行的自动错误定位方法

价格：面议 一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法

价格：面议 一种Web服务测试用例自动生成方法

价格：面议 一种基于用户执行踪迹重放的移动应用测试方法

价格：面议 一种面向条件判定覆盖的测试数据自动生成方法

价格：面议 一种面向修订的条件判定覆盖的测试数据自动生成方法

价格：面议 一种基于指针分析的软件漏洞检测方法

价格：面议 一种线性拟合函数驱动的测试数据自动生成方法

价格：面议 基于路径片段频谱的符号执行搜索方法