基于卡诺格覆盖的布尔表达式测试及缺陷诊断理论与方法研究

61872011
2018
F0203.软件理论、软件工程与服务
郁莲
面上项目
教授
北京大学
63万元
布尔表达式测试;面;向用户质量保证期望测试;缺陷诊断;广义全单模性;最小卡诺格覆盖问题
2019-01-01到2022-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Detecting Malicious Web Requests Using an Enhanced TextCNN 会议论文 Lian Yu;Lihao Chen;Jingtao Dong;Mengyuan Li;Lijun Liu;Bai Zhao;Chen Zhang
2 State synchronization in process-oriented chaincode 期刊论文 Lian Yu;Wei-Tek Tsai
3 CoSPA: An Improved Masked Language Model with Copy Mechanism for Chinese Spelling Correction 会议论文 Shoujian Yang;Lian Yu
4 Scheduling and Deploying Distributed Sandboxes for Cyber-Attack Detection 期刊论文 Lian Yu;Lijun Liu;Cong Tan;Bei Zhao;Chen Zhang
5 基于深度学习的 SQL 生成研究综述 期刊论文 梁清源;朱琪豪;孙泽宇;张路;张文杰;熊英飞;梁广泰;郁莲
6 PBCNN: Packet Bytes-based Convolutional Neural Network for Network Intrusion Detection 期刊论文 Lian Yu;Jingtao Dong;Lihao Chen;Mengyuan Li;Bingfeng Xu;Zhao Li;Lin Qiao;Lijun Liu;Bei Zhao;Chen Zhang
7 运营商关键基础设施被控识别方法及系统 专利 赵蓓;郁莲;其他
8 面向联盟链分布式预言机技术研究 期刊论文 郁莲;李泽琛;王思成;叶德鹏;朱岩;唐方方
9 Repeatedly Coding Inter-Packet Delay for Tracking Down Network Attacks 期刊论文 Lian Yu;Lei Zhang;Cong Tan;Bei Zhao;Chen Zhang
10 JoinSketch: A Sketch Algorithm for Accurate and Unbiased Inner-Product Estimation 会议论文 Feiyu Wang;Qizhi Chen;Yuanpeng Li;Tong Yang;Yaofeng Tu;Lian Yu;Bin Cui
11 终端 APP溯源验证方法、装置及可读存储介质 专利 常玲;郁莲;其他
12 基于GPU与CPU异构结构的椭圆曲线数字签名方法 专利 郁莲;王晓天
13 Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems 会议论文 Lian Yu;Lijun Liu;Yanbing Jiang;Qi Jing;Bei Zhao;Chen Zhang
14 Abnormal Transaction Detection based on Graph Networks 会议论文 Lian Yu;Ning Zhang;Weiping Wen
15 Dynamic Interval-based Watermarking for Tracking down Network Attacks 会议论文 Lian Yu;Lei Zhang;Yuanyuan Zhang;Weiping Wen;Xuetao Du;Fei Gao
16 基于物联网设备的网络检测方法、装置、设备及存储介质 专利 薛珊;郁莲;其他
17 Lyra: A Benchmark for Turducken-Style Code Generation 会议论文 Qingyuan Liang;Zeyu Sun;Qihao Zhu;Wenjie Zhang;Lian Yu;Yingfei Xiong;Lu Zhang
18 ParGCN: Abnormal Transaction Detection based on Graph Neural Networks 会议论文 Lian YU;Qi Jing;Ruomiao Li;Zhiya Cheng;Chang Xu
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享