咨询与建议

限定检索结果

文献类型

  • 1,165 篇 期刊文献
  • 166 篇 会议

馆藏范围

  • 1,331 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,234 篇 工学
    • 1,001 篇 计算机科学与技术...
    • 640 篇 软件工程
    • 151 篇 网络空间安全
    • 137 篇 控制科学与工程
    • 100 篇 机械工程
    • 60 篇 信息与通信工程
    • 58 篇 仪器科学与技术
    • 24 篇 电子科学与技术(可...
    • 7 篇 建筑学
    • 6 篇 地质资源与地质工...
    • 6 篇 石油与天然气工程
    • 3 篇 化学工程与技术
    • 3 篇 交通运输工程
    • 3 篇 公安技术
    • 2 篇 电气工程
    • 2 篇 土木工程
  • 396 篇 管理学
    • 390 篇 管理科学与工程(可...
    • 11 篇 图书情报与档案管...
    • 4 篇 工商管理
  • 30 篇 理学
    • 15 篇 数学
    • 10 篇 系统科学
    • 4 篇 物理学
    • 2 篇 生物学
  • 26 篇 艺术学
    • 26 篇 设计学(可授艺术学...
    • 3 篇 美术学
  • 7 篇 教育学
    • 7 篇 教育学
  • 6 篇 经济学
    • 5 篇 应用经济学
  • 3 篇 哲学
    • 3 篇 哲学
  • 3 篇 医学
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 文学
  • 2 篇 历史学
    • 2 篇 考古学
  • 2 篇 农学

主题

  • 43 篇 面向对象
  • 35 篇 无线传感器网络
  • 26 篇 internet
  • 23 篇 计算机网络
  • 22 篇 信息检索
  • 22 篇 人工智能
  • 21 篇 机器学习
  • 18 篇 软件测试
  • 18 篇 入侵检测
  • 18 篇 神经网络
  • 18 篇 服务质量
  • 17 篇 web
  • 16 篇 计算机
  • 16 篇 设计
  • 15 篇 访问控制
  • 15 篇 软件工程
  • 14 篇 支持向量机
  • 14 篇 信息安全
  • 14 篇 数据库
  • 13 篇 遗传算法

机构

  • 1,211 篇 南京大学
  • 164 篇 计算机软件新技术...
  • 111 篇 南京航空航天大学
  • 45 篇 南京工业大学
  • 43 篇 南京邮电大学
  • 40 篇 南京大学计算机软...
  • 39 篇 南京理工大学
  • 33 篇 扬州大学
  • 23 篇 苏州大学
  • 23 篇 南通大学
  • 19 篇 东南大学
  • 17 篇 南京邮电学院
  • 15 篇 东华大学
  • 12 篇 清华大学
  • 10 篇 中国矿业大学
  • 9 篇 南京大学软件新技...
  • 8 篇 吉林大学
  • 8 篇 解放军理工大学
  • 7 篇 计算机科学与技术...
  • 7 篇 软件新技术国家重...

作者

  • 126 篇 谢立
  • 75 篇 潘金贵
  • 65 篇 曾庆凯
  • 64 篇 陈道蓄
  • 63 篇 黄皓
  • 59 篇 李宣东
  • 55 篇 张福炎
  • 53 篇 谢俊元
  • 52 篇 柏文阳
  • 50 篇 郑国梁
  • 48 篇 陈世福
  • 43 篇 白光伟
  • 43 篇 王崇骏
  • 41 篇 孙正兴
  • 35 篇 茅兵
  • 33 篇 沈航
  • 32 篇 骆斌
  • 31 篇 徐宝文
  • 30 篇 武港山
  • 30 篇 陈家骏

语言

  • 1,331 篇 中文
检索条件"机构=南京大学计算机软件新技术国家重点实验室,南京,210093 南京大学计算机科学与技术系,南京,210093"
1331 条 记 录,以下是1-10 订阅
排序:
测试集有效性评价:问题、进展与挑战
收藏 引用
软件学报 2024年 第2期35卷 532-580页
作者: 路则雨 张鹏 王洋 郭肇强 杨已彪 周毓明 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
测试用例集的缺陷检测有效性指测试集能够在多大程度上检测出软件中存在的缺陷.如何评价测试集的缺陷检测有效性是一个重要问题.覆盖率和变异得分是两个最重要和最广泛使用的测试集有效性度量.为量化测试集的缺陷检测能力,研究人员对测... 详细信息
来源: 评论
Pobe:一种基于生成式模型的分布外文本检测方法
收藏 引用
软件学报 2024年 第9期35卷 4365-4376页
作者: 欧阳亚文 高源 宗石 鲍宇 戴新宇 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
对于安全可靠的机器学习统,具备检测训练集分布外(out-of-distribution,OOD)样本的能力十分必要.基于似然的生成式模型由于训练时不需要样本标签,是一类非常受欢迎的OOD检测方法.然而,近期研究表明通过似然来检测OOD样本往往会失效,... 详细信息
来源: 评论
反汇编工具中间接跳转表求解算法分析与测试
收藏 引用
软件学报 2024年 第10期35卷 4623-4641页
作者: 庞成宾 徐雪兰 张天泰 茅兵 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
二进制反汇编是困难的,但是对于提高二进制软件的安全性至关重要.造成二进制反汇编比较困难的一大原因是编译器为了提高效率会在二进制代码中引入很多间接跳转表.为了求解间接跳转表,主流反汇编工具采用了各种策略.然而,这些策略的具体... 详细信息
来源: 评论
基于多线程并行的符号执行引擎设计与实现
收藏 引用
计算机研究与发展 2023年 第2期60卷 248-261页
作者: 周彭 左志强 南京大学计算机科学与技术系 南京210023 计算机软件新技术国家重点实验室(南京大学) 南京210023
符号执行作为一种高效的测试生成技术,被广泛应用于软件测试、安全分析等领域.然而,由于程序中的执行路径数量随着分支数量的增加而指数级上升,符号执行往往无法在大规模程序上进行高效执行,缺乏可扩展性.已有的基于多进程的并行化方法... 详细信息
来源: 评论
版本失配和数据泄露对基于缺陷报告的缺陷定位模型的影响
收藏 引用
软件学报 2023年 第5期34卷 2196-2217页
作者: 周慧聪 郭肇强 梅元清 李言辉 陈林 周毓明 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系 江苏南京210023
为了降低缺陷定位过程中的人力成本,研究者们在缺陷报告的基础上提出了许多基于信息检索的缺陷定位模型,包括使用传统特征和使用深度学习特征进行建模的定位模型.在评价不同缺陷定位模型时设计的实验中,现有研究大多忽视了缺陷报告所属... 详细信息
来源: 评论
基于eBPF的内核堆漏洞动态缓解机制
收藏 引用
软件学报 2024年 第7期35卷 3332-3354页
作者: 王子成 郭迎港 钟炳南 陈越琦 曾庆凯 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023 Department of Computer Science University of Colorado BoulderBoulder 80309USA
内核堆漏洞是目前操作统安全的主要威胁之一,用户层攻击者通过触发漏洞能够泄露或修改内核敏感信息,破坏内核控制流,甚至获取root权限.但是由于漏洞的数量和复杂性剧增,从漏洞首次被报告到开发者给出修复补丁(patch)往往需要较长时间... 详细信息
来源: 评论
元强化学习研究综述
收藏 引用
软件学报 2024年 第4期35卷 1618-1650页
作者: 陈奕宇 霍静 丁天雨 高阳 南京大学计算机科学与技术系 江苏南京210043 计算机软件新技术国家重点实验室(南京大学) 江苏南京210043 Applied Sciences Group MicrosoftRedmondWA 98034USA
近年来,深度强化学习(deep reinforcement learning,DRL)已经在诸多序贯决策任务中取得瞩目成功,但当前,深度强化学习的成功很大程度依赖于海量的学习数据与计算资源,低劣的样本效率和策略通用性是制约其进一步发展的关键因素.元强化学... 详细信息
来源: 评论
软件缺陷预测模型间的比较实验:问题、进展与挑战
收藏 引用
软件学报 2023年 第2期34卷 582-624页
作者: 刘旭同 郭肇强 刘释然 张鹏 卢红敏 周毓明 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
近年来,研究者提出了大量的软件缺陷预测模型,新模型往往通过与过往模型进行比较实验来表明其有效性.然而,研究者在设计新旧模型间的比较实验时并没有达成共识,不同的工作往往采用不完全一致的比较实验设置,这可能致使在对比模型时得到... 详细信息
来源: 评论
基于核外计算的Datalog引擎设计与实现
收藏 引用
软件学报 2023年 第8期34卷 3587-3604页
作者: 张奕裕 王归航 左志强 李宣东 南京大学计算机科学与技术系 江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023
随着新兴技术的迅速发展,领域软件对开发效率提出了新的要求.Datalog语言作为一门具有简洁语法和良好语义的声明式编程语言,能帮助开发人员快速开发和解决问题,近年来越来越受到重视与欢迎.但解决真实场景问题时,现有的单机Datalog引擎... 详细信息
来源: 评论
面向对象软件度量阈值的确定方法:问题、进展与挑战
收藏 引用
软件学报 2023年 第1期34卷 50-102页
作者: 梅元清 郭肇强 周慧聪 李言辉 陈林 卢红敏 周毓明 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系 江苏南京210023
面向对象软件度量是理解和保证面向对象软件质量的重要手段之一.通过将面向对象软件的度量值与其阈值比较,可简单直观评价其是否有可能包含缺陷.确定度量阈值方法主要有基于数据分布特征的无监督学习方法和基于缺陷相关性的有监督学习方... 详细信息
来源: 评论