×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京航空航天大学 [22]
内容类型
会议论文 [22]
发表日期
2019 [3]
2018 [2]
2017 [5]
2016 [3]
2014 [1]
2013 [3]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条,第1-10条
帮助
限定条件
内容类型:会议论文
专题:北京航空航天大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Electronics of Time-of-Flight Measurement for Back-n at CSNS
会议论文
IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 2019-07-01
作者:
Yu, T.
;
Cao, P.
;
Ji, X. Y.
;
Xie, L. K.
;
Huang, X. R.
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2019/12/30
Nuclear electronics
time stamp
time-of-flight (TOF) measurement
A Fuzz Testing Service for Assuring Smart Contracts
会议论文
19th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2019, Sofia, Bulgaria, 2019-07-22
作者:
Mei, Xiupei
;
Ashraf, Imran
;
Jiang, Bo
;
Chan, W.K.
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/30
Invited paper: Beagle: A new framework for smart contracts taking account of law
会议论文
Proceedings - 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019, 2019-04-04
作者:
Tsai, W.-T.
;
Ge, N.
;
Jiang, J.
;
Feng, K.
;
He, J.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
Cloud computing
Formal verification
Robotics
Systems engineering
Blockchains
Code development
Domain analysis
Execution framework
Legal contracts
Runtime Monitoring
Templates
Verification-and-validation
Contracts
ContractFuzzer: Fuzzing smart contracts for vulnerability detection
会议论文
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
作者:
Jiang, B.
;
Liu, Y.
;
Chan, W.K.
收藏
  |  
浏览/下载:40/0
  |  
提交时间:2019/12/30
Blockchain
Losses
Software engineering
Ethereum
Fuzzer
Fuzzing
Smart contracts
Test oracles
Vulnerability
Security of data
Fuse: An Architecture for Smart Contract Fuzz Testing Service
会议论文
2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018-01-01
作者:
Chan, W. K.
;
Jiang, Bo
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/30
blockchain
fuzz testing
Dapps
architecture
security vulnerability
smart contract
Ethereum
SimplyDroid: Efficient Event Sequence Simplification for Android Application
会议论文
PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017-01-01
作者:
Jiang, Bo
;
Wu, Yuxuan
;
Li, Teng
;
Chan, W. K.
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
Test case reduction
delta debugging
event sequence reduction
Android
Dynamic Modelling and Embryo Zona Pellucida Perforation Experiments With Piezoelectric Actuated Micro-Needles
会议论文
2017 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION (ICMA), 2017-01-01
作者:
Bahadur, Issam M.
;
Wong, Christopher Yee
;
Jiang, Xinggang
;
Mills, James K.
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/30
Piezo actuator
cell perforation
dynamic modelling
dynamic simulation
experimental perforation
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications
会议论文
2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS), 2017-01-01
作者:
Jiang, Bo
;
Zhang, Yaoyue
;
Chan, W. K.
;
Zhang, Zhenyu
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Android applications
GUI traversal
test case generation
Automatic testing
SimplyDroid: Efficient Event Sequence Simplification for Android Application
会议论文
32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Univ Illinois Urbana Champaign, Urbana Champaign, IL, 2017-10-30
作者:
Jiang, Bo
;
Wu, Yuxuan
;
Li, Teng
;
Chan, W. K.
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/30
Test case reduction
delta debugging
event sequence reduction
Android
Dynamic modelling and embryo zona pellucida perforation experiments with piezoelectric actuated micro-needles
会议论文
14th IEEE International Conference on Mechatronics and Automation, ICMA 2017, Takamatsu, Japan, 2017-08-06
作者:
Bahadur, Issam M.
;
Wong, Christopher Yee
;
Jiang, Xinggang
;
Mills, James K.
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/30
©版权所有 ©2017 CSpace - Powered by
CSpace