掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Software Quality, Reliability and Security
International Conference on Software Quality, Reliability and Security
召开年:
2019
召开地:
Sofia(BG)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Cluster-Based Hybrid Feature Selection Method for Defect Prediction
机译:
基于聚类的缺陷预测混合特征选择方法
作者:
Fei Wang
;
Jun Ai
;
Zhuoliang Zou
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Feature extraction;
Correlation;
Software;
Filtering algorithms;
Information filters;
Clustering algorithms;
2.
MVSE: Effort-Aware Heterogeneous Defect Prediction via Multiple-View Spectral Embedding
机译:
MVSE:通过多视图光谱嵌入进行工作量感知的异构缺陷预测
作者:
Zhou Xu
;
Sizhe Ye
;
Tao Zhang
;
Zhen Xia
;
Shuai Pang
;
Yong Wang
;
Yutian Tang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software quality;
Predictive models;
Feature extraction;
Optimization;
Computer science;
Inspection;
3.
An Empirical Study of Bug Isolation on the Effectiveness of Multiple Fault Localization
机译:
错误隔离对多故障定位有效性的实证研究
作者:
Zheng Li
;
Yonghao Wu
;
Yong Liu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Clustering algorithms;
Partitioning algorithms;
Conferences;
Software quality;
Software reliability;
4.
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification
机译:
通过基于测试的软件修改评估故障本地化以进行资源适应
作者:
Arpit Christi
;
Alex Groce
;
Rahul Gopinath
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Synthetic aperture sonar;
Search problems;
Software systems;
Tools;
Maintenance engineering;
Buildings;
5.
Combinatorial Robustness Testing with Negative Test Cases
机译:
带有负测试用例的组合鲁棒性测试
作者:
Konrad Fögen
;
Horst Lichter
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Robustness;
Software;
Runtime environment;
Switches;
6.
A Distance-Based Dynamic Random Testing with Test Case Clustering
机译:
带有测试案例聚类的基于距离的动态随机测试
作者:
Hanyu Pei
;
Beibei Yin
;
Kai-Yuan Cai
;
Min Xie
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fault detection;
Clustering methods;
Software testing;
Software;
Automation;
Electrical engineering;
7.
Random Border Mirror Transform: A Diversity Based Approach to an Effective and Efficient Mirror Adaptive Random Testing
机译:
随机边界镜像变换:一种基于分集的有效和高效镜像自适应随机测试方法
作者:
Michael Omari
;
Jinfu Chen
;
Patrick Kwaku Kudjo
;
Hilary Ackah-Arthur
;
Rubing Huang
会议名称:
《》
|
2019年
关键词:
Mirrors;
Subspace constraints;
Software;
Power capacitors;
Software testing;
Software reliability;
8.
Efficient Evolutionary Fuzzing for Android Application Installation Process
机译:
适用于Android应用程序安装过程的高效进化模糊测试
作者:
Veysel Hatas
;
Sevil Sen
;
John A. Clark
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fuzzing;
Genetic algorithms;
Sociology;
Statistics;
Tools;
Computer crashes;
Security;
9.
A Novel Reliability Assessment Method Based on the Effects of Components
机译:
基于构件影响的可靠性评估新方法
作者:
Yue Chen
;
Xuefeng Yan
;
Arif Ali Khan
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software reliability;
Object oriented modeling;
Software systems;
Reliability theory;
Data models;
10.
On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data
机译:
具有分组数据的软件可靠性模型的Kolmogorov-Smirnov检验
作者:
Hiroyuki Okamura
;
Tadashi Dohi
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Data models;
Software;
Mathematical model;
Software reliability;
Fault detection;
Reliability engineering;
11.
Efficient Generation of Test Data with Extended Cardinality Constraints
机译:
具有扩展基数约束的测试数据的高效生成
作者:
Michaël Larouche
;
Sylvain Hallé
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Unified modeling language;
Erbium;
Testing;
Databases;
Servers;
Task analysis;
Network topology;
12.
On the Investigation of Essential Diversities for Deep Learning Testing Criteria
机译:
深度学习测试标准的本质多样性调查
作者:
Zhiyi Zhang
;
Xiaoyuan Xie
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Neurons;
Testing;
Deep learning;
Measurement;
Image retrieval;
Task analysis;
Fault detection;
13.
Testing Scientific Software with Invariant Relations: A Case Study
机译:
具有不变关系的科学软件测试:一个案例研究
作者:
Junhua Ding
;
XinChuan Li
;
Xin-Hua Hu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Software;
Light scattering;
Transforms;
Diffraction;
Biological cells;
Hash functions;
14.
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing
机译:
基于遗传算法的ADAS系统测试参数优化
作者:
Florian Klück
;
Martin Zimmermann
;
Franz Wotawa
;
Mihai Nica
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Genetic algorithms;
Optimization;
Accidents;
Sociology;
Statistics;
Reliability;
15.
TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs
机译:
TFCheck:一个TensorFlow库,用于检测神经网络程序中的培训问题
作者:
Houssem Ben Braiek
;
Foutse Khomh
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Training;
Testing;
Libraries;
Data models;
Computer bugs;
Neurons;
Biological neural networks;
16.
Technical Debt Prioritization: A Search-Based Approach
机译:
技术债务优先级:基于搜索的方法
作者:
Reem Alfayez
;
Barry Boehm
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Genetic algorithms;
Software systems;
Optimization;
Linear programming;
Software measurement;
Evolutionary computation;
17.
Quality of Reusable Game Software: Empowering Developers with Automated Quality Checks
机译:
可重用游戏软件的质量:通过自动质量检查为开发人员提供支持
作者:
Wim van der Vegt
;
Wim Westera
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Games;
Software;
C# languages;
Portals;
Tools;
Encoding;
Quality assurance;
18.
A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects
机译:
开源软件项目中的错误修复分析的点过程方法
作者:
Takahiro Ushiroda
;
Tadashi Dohi
;
Yasuhiro Saito
;
Hiroyuki Okamura
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software reliability;
Software;
Cascading style sheets;
Stochastic processes;
Debugging;
19.
Reliability Analysis of Phased-Mission System in Irrelevancy Coverage Model
机译:
不相关覆盖模型中的相控任务系统可靠性分析
作者:
Ming Yang
;
Dongdong Zhao
;
Luyao Ye
;
Siwei Zhou
;
Jianwen Xiang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fault trees;
Analytical models;
Algebra;
Software reliability;
Computational modeling;
Redundancy;
20.
SMARTKT: A Search Framework to Assist Program Comprehension using Smart Knowledge Transfer
机译:
SMARTKT:使用智能知识转移来辅助程序理解的搜索框架
作者:
Srijoni Majumdar
;
Shakti Papdeja
;
Partha Pratim Das
;
Soumya Kanti Ghosh
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Runtime;
Knowledge transfer;
Instruments;
Reliability;
Data mining;
Computer bugs;
21.
Importance and Aptitude of Source Code Density for Commit Classification into Maintenance Activities
机译:
在维护活动中进行分类的源代码密度的重要性和适用性
作者:
Sebastian Hönel
;
Morgan Ericsson
;
Welf Löwe
;
Anna Wingkvist
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Maintenance engineering;
Tools;
Correlation;
Software quality;
Software systems;
Computer bugs;
22.
A Mechanism for Automatically Summarizing Software Functionality from Source Code
机译:
一种从源代码自动总结软件功能的机制
作者:
Christos Psarras
;
Themistoklis Diamantopoulos
;
Andreas Symeonidis
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Semantics;
Libraries;
Data mining;
Tuning;
Java;
Clustering algorithms;
23.
Characterizing Software Maintainability in Issue Summaries using a Fuzzy Classifier
机译:
使用模糊分类器表征问题摘要中的软件可维护性
作者:
Celia Chen
;
Michael Shoga
;
Barry Boehm
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Linguistics;
Software quality;
Computer bugs;
Software measurement;
Manuals;
Ontologies;
24.
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties
机译:
奖赏者:通过有效性属性优化单元簇以进行有效的电子表格缺陷检测
作者:
Da Li
;
Huiyan Wang
;
Chang Xu
;
Fengmin Shi
;
Xiaoxing Ma
;
Jian Lu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Semantics;
Adaptive learning;
Memory;
Spreadsheet programs;
Benchmark testing;
Conferences;
Software quality;
25.
Detecting Vulnerabilities in Android Applications using Event Sequences
机译:
使用事件序列检测Android应用程序中的漏洞
作者:
Zachary B. Ratliff
;
D. Richard Kuhn
;
Daniel J. Ragsdale
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Testing;
Computer bugs;
Tools;
Smart phones;
Wireless fidelity;
Security;
26.
BugIdentifier: An Approach to Identifying Bugs via Log Mining for Accelerating Bug Reporting Stage
机译:
BugIdentifier:一种通过日志挖掘来识别错误的方法,以加快错误报告阶段
作者:
Wensheng Xia
;
Ying Li
;
Tong Jia
;
Zhonghai Wu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software reliability;
Software engineering;
Conferences;
Software quality;
Reliability engineering;
27.
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes
机译:
基于微服务的体系结构:使用Kubernetes实现具有状态应用程序的高可用性
作者:
Leila Abdollahi Vayghan
;
Mohamed Aymen Saied
;
Maria Toeroe
;
Ferhat Khendek
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Containers;
IP networks;
Computer architecture;
Reliability;
Computer science;
Complexity theory;
Business;
28.
When and Why Do Software Developers Face Uncertainty?
机译:
软件开发人员何时以及为何面临不确定性?
作者:
Naoyasu Ubayashi
;
Yasutaka Kamei
;
Ryosuke Sato
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Uncertainty;
Software;
Dictionaries;
Unified modeling language;
Solid modeling;
Face;
History;
29.
An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning
机译:
基于深度学习的司法图像质量评估探索性研究
作者:
Qiqi Gu
;
Weilin Cai
;
Shengcheng Yu
;
Zhenyu Chen
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Image quality;
Feature extraction;
Deep learning;
Agriculture;
Distortion;
Training;
Convolutional neural networks;
30.
Branch Use in Practice: A Large-Scale Empirical Study of 2,923 Projects on GitHub
机译:
实际使用分支机构:GitHub上2,923个项目的大规模实证研究
作者:
Weiqin Zou
;
Weiqiang Zhang
;
Xin Xia
;
Reid Holmes
;
Zhenyu Chen
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Productivity;
Software;
Computer bugs;
Task analysis;
Collaboration;
Control systems;
Encoding;
31.
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
机译:
自动分析关键部分以实现有效的安全多执行
作者:
Tobias Pfeffer
;
Thomas Göthel
;
Sabine Glesner
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Security;
Monitoring;
Lattices;
Static analysis;
Semantics;
Reachability analysis;
Switches;
32.
Fault Detection in Timed FSM with Timeouts by SAT-Solving
机译:
定时FSM中带有超时的故障检测(通过SAT解决)
作者:
Omer Nguena Timo
;
Dimitri Prestat
;
Florent Avellaneda
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Time factors;
Testing;
Fault detection;
Automata;
Prototypes;
Tools;
Clocks;
33.
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
机译:
用于时间特性的工业软件模型检查的改进不变式生成
作者:
Vassil Todorov
;
Safouan Taha
;
Frédéric Boulanger
;
Armando Hernandez
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Safety;
Model checking;
Software;
Tools;
Production;
Writing;
Authorization;
34.
UML-SR: A Novel Security Requirements Specification Language
机译:
UML-SR:一种新颖的安全性需求规范语言
作者:
Muhammad Mohsin
;
Muhammad Umair Khan
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Unified modeling language;
Software;
Authentication;
Servers;
Password;
35.
Method-Level Test Selection for Continuous Integration with Static Dependencies and Dynamic Execution Rules
机译:
具有静态依赖关系和动态执行规则的持续集成的方法级测试选择
作者:
Yingling Li
;
Junjie Wang
;
Yun Yang
;
Qing Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Static analysis;
Fault detection;
Tools;
XML;
Software;
Runtime;
36.
Learning and Adaptive Testing of Nondeterministic State Machines
机译:
非确定性状态机的学习和自适应测试
作者:
Alexandre Petrenko
;
Florent Avellaneda
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Conformance testing;
Test pattern generators;
Adaptation models;
Learning automata;
Computer security;
Computational modeling;
37.
A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System
机译:
使用模糊专家系统的基于系统需求和风险的测试用例优先级
作者:
Charitha Hettiarachchi
;
Hyunsook Do
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Expert systems;
Iron;
Security;
Software;
Testing;
Estimation;
Complexity theory;
38.
A Transfer Learning Based Interpretable User Experience Model on Small Samples
机译:
基于转移学习的小样本可解释用户体验模型
作者:
Qi Yu
;
Xiaoping Che
;
Yuxiang Yang
;
Liqiang Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Games;
Software;
Data models;
Learning systems;
Statistical analysis;
Analytical models;
Predictive models;
39.
Experimental Analysis and Comparison of Load Prediction Algorithms in Cloud Data Center
机译:
云数据中心负载预测算法的实验分析与比较
作者:
Yanxin Liu
;
Jian Dong
;
Decheng Zuo
;
Hongwei Liu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Prediction algorithms;
Data centers;
Cloud computing;
Neural networks;
Training;
Machine learning algorithms;
Computational modeling;
40.
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements
机译:
基于多个架构属性度量的软件架构可演化性分析
作者:
Tong Wang
;
Bixin Li
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software architecture;
Software measurement;
Data mining;
Clustering algorithms;
Computer architecture;
Software quality;
41.
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems
机译:
混合谓词过渡网-一种建模和分析网络物理系统的正式方法
作者:
Xudong He
;
Dewan Mohammad Moksedul Alam
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Petri nets;
Analytical models;
Automata;
Tools;
Mathematical model;
Control systems;
Differential equations;
42.
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems
机译:
网络物理系统中工具支持的动态和随机行为分析
作者:
Li Huang
;
Tian Liang
;
Eun-Young Kang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Clocks;
Stochastic processes;
Probabilistic logic;
History;
Unified modeling language;
Mathematical model;
Analytical models;
43.
Repeatable Decentralized Simulations for Cyber-Physical Systems
机译:
网络物理系统的可重复分散模拟
作者:
Christophe Reymann
;
Mohammed Foughali
;
Simon Lacroix
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer architecture;
Mathematical model;
Semantics;
Cyber-physical systems;
Load modeling;
Robots;
Software;
44.
Improving the Accuracy of Vulnerability Report Classification Using Term Frequency-Inverse Gravity Moment
机译:
使用术语频率反重力矩提高漏洞报告分类的准确性
作者:
Patrick Kwaku Kudjo
;
Jinfu Chen
;
Minmin Zhou
;
Solomon Mensah
;
Rubing Huang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Feature extraction;
Gravity;
Security;
Text categorization;
Computer bugs;
Frequency conversion;
Software;
45.
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
机译:
在路径敏感分析中重新组织和优化可疑错误报告的事后检查
作者:
Xutong Ma
;
Jiwei Yan
;
Jun Yan
;
Jian Zhang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Inspection;
Tools;
Static analysis;
Sorting;
Software;
Memory management;
46.
Are All Duplicates Value-Neutral? An Empirical Analysis of Duplicate Issue Reports
机译:
所有重复值是否都是中性的?重复发行报告的实证分析
作者:
Mingyang Li
;
Lin Shi
;
Qing Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
History;
Tools;
Maintenance engineering;
Computer bugs;
Length measurement;
47.
What are Good Discussions Within Bug Report Comments for Shortening Bug Fixing Time?
机译:
在错误报告注释中,什么是缩短错误修复时间的良好讨论?
作者:
Yuki Noyori
;
Hironori Washizaki
;
Yoshiaki Fukazawa
;
Keishi Ooshima
;
Hideyuki Kanuka
;
Shuhei Nojiri
;
Ryosuke Tsuchiya
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software;
Correlation;
Trademarks;
Natural language processing;
Tools;
48.
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing
机译:
基于遗传算法的ADAS系统测试测试参数优化
作者:
Florian Klück
;
Martin Zimmermann
;
Franz Wotawa
;
Mihai Nica
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Genetic algorithms;
Optimization;
Accidents;
Sociology;
Statistics;
Reliability;
49.
An Empirical Study of Bug Isolation on the Effectiveness of Multiple Fault Localization
机译:
对多故障定位有效性的错误隔离的实证研究
作者:
Zheng Li
;
Yonghao Wu
;
Yong Liu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Clustering algorithms;
Partitioning algorithms;
Conferences;
Software quality;
Software reliability;
50.
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements
机译:
基于多种架构属性测量的软件架构进化性分析
作者:
Tong Wang
;
Bixin Li
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software architecture;
Software measurement;
Data mining;
Clustering algorithms;
Computer architecture;
Software quality;
51.
Method-Level Test Selection for Continuous Integration with Static Dependencies and Dynamic Execution Rules
机译:
方法级测试选择,以与静态依赖关系和动态执行规则的持续集成
作者:
Yingling Li
;
Junjie Wang
;
Yun Yang
;
Qing Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Static analysis;
Fault detection;
Tools;
XML;
Software;
Runtime;
52.
On the Investigation of Essential Diversities for Deep Learning Testing Criteria
机译:
关于深度学习检测标准的基本多样性调查
作者:
Zhiyi Zhang
;
Xiaoyuan Xie
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Neurons;
Testing;
Deep learning;
Measurement;
Image retrieval;
Task analysis;
Fault detection;
53.
Improving the Accuracy of Vulnerability Report Classification Using Term Frequency-Inverse Gravity Moment
机译:
使用术语频率反向重力时刻提高漏洞报告分类的准确性
作者:
Patrick Kwaku Kudjo
;
Jinfu Chen
;
Minmin Zhou
;
Solomon Mensah
;
Rubing Huang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Feature extraction;
Gravity;
Security;
Text categorization;
Computer bugs;
Frequency conversion;
Software;
54.
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution
机译:
高效安全多执行关键剖面自动分析
作者:
Tobias Pfeffer
;
Thomas G?thel
;
Sabine Glesner
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Security;
Monitoring;
Lattices;
Static analysis;
Semantics;
Reachability analysis;
Switches;
55.
A Transfer Learning Based Interpretable User Experience Model on Small Samples
机译:
在小型样本上传输基于学习的可解释的用户体验模型
作者:
Qi Yu
;
Xiaoping Che
;
Yuxiang Yang
;
Liqiang Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Games;
Software;
Data models;
Learning systems;
Statistical analysis;
Analytical models;
Predictive models;
56.
When and Why Do Software Developers Face Uncertainty?
机译:
什么以及为什么软件开发人员面临不确定性?
作者:
Naoyasu Ubayashi
;
Yasutaka Kamei
;
Ryosuke Sato
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Uncertainty;
Software;
Dictionaries;
Unified modeling language;
Solid modeling;
Face;
History;
57.
A Mechanism for Automatically Summarizing Software Functionality from Source Code
机译:
从源代码中自动总结软件功能的机制
作者:
Christos Psarras
;
Themistoklis Diamantopoulos
;
Andreas Symeonidis
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Semantics;
Libraries;
Data mining;
Tuning;
Java;
Clustering algorithms;
58.
Technical Debt Prioritization: A Search-Based Approach
机译:
技术债务优先级:基于搜索的方法
作者:
Reem Alfayez
;
Barry Boehm
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Genetic algorithms;
Software systems;
Optimization;
Linear programming;
Software measurement;
Evolutionary computation;
59.
UML-SR: A Novel Security Requirements Specification Language
机译:
UML-SR:一种新颖的安全要求规范语言
作者:
Muhammad Mohsin
;
Muhammad Umair Khan
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Unified modeling language;
Software;
Authentication;
Servers;
Password;
60.
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems
机译:
网络物理系统动态和随机行为的工具支持分析
作者:
Li Huang
;
Tian Liang
;
Eun-Young Kang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Clocks;
Stochastic processes;
Probabilistic logic;
History;
Unified modeling language;
Mathematical model;
Analytical models;
61.
MVSE: Effort-Aware Heterogeneous Defect Prediction via Multiple-View Spectral Embedding
机译:
MVSE:通过多视图谱嵌入努力感知异构缺陷预测
作者:
Zhou Xu
;
Sizhe Ye
;
Tao Zhang
;
Zhen Xia
;
Shuai Pang
;
Yong Wang
;
Yutian Tang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software quality;
Predictive models;
Feature extraction;
Optimization;
Computer science;
Inspection;
62.
On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data
机译:
在Kolmogorov-Smirnov-Smirnov测试中的软件可靠性模型与分组数据
作者:
Hiroyuki Okamura
;
Tadashi Dohi
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Data models;
Software;
Mathematical model;
Software reliability;
Fault detection;
Reliability engineering;
63.
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes
机译:
基于微服务的架构:以Kubernetes的有状态应用的高可用性
作者:
Leila Abdollahi Vayghan
;
Mohamed Aymen Saied
;
Maria Toeroe
;
Ferhat Khendek
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Containers;
IP networks;
Computer architecture;
Reliability;
Computer science;
Complexity theory;
Business;
64.
A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System
机译:
使用模糊专家系统的基于系统要求和基于风险的测试用例优先级
作者:
Charitha Hettiarachchi
;
Hyunsook Do
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Expert systems;
Iron;
Security;
Software;
Testing;
Estimation;
Complexity theory;
65.
Learning and Adaptive Testing of Nondeterministic State Machines
机译:
非叛徒状态机的学习与自适应测试
作者:
Alexandre Petrenko
;
Florent Avellaneda
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Conformance testing;
Test pattern generators;
Adaptation models;
Learning automata;
Computer security;
Computational modeling;
66.
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
机译:
改进了工业软件模型检查时间特性的不变生成
作者:
Vassil Todorov
;
Safouan Taha
;
Frédéric Boulanger
;
Armando Hernandez
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Safety;
Model checking;
Software;
Tools;
Production;
Writing;
Authorization;
67.
An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning
机译:
基于深度学习的司法图像质量评估探索性研究
作者:
Qiqi Gu
;
Weilin Cai
;
Shengcheng Yu
;
Zhenyu Chen
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Image quality;
Feature extraction;
Deep learning;
Agriculture;
Distortion;
Training;
Convolutional neural networks;
68.
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems
机译:
混合谓词过渡网 - 一种建模和分析网络物理系统的正式方法
作者:
Xudong He
;
Dewan Mohammad Moksedul Alam
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Petri nets;
Analytical models;
Automata;
Tools;
Mathematical model;
Control systems;
Differential equations;
69.
BugIdentifier: An Approach to Identifying Bugs via Log Mining for Accelerating Bug Reporting Stage
机译:
Bugidentifier:通过日志挖掘识别错误的方法,以加速错误报告阶段
作者:
Wensheng Xia
;
Ying Li
;
Tong Jia
;
Zhonghai Wu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software reliability;
Software engineering;
Conferences;
Software quality;
Reliability engineering;
70.
Efficient Generation of Test Data with Extended Cardinality Constraints
机译:
高效生成延长基数限制的测试数据
作者:
Micha?l Larouche
;
Sylvain Hallé
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Unified modeling language;
Erbium;
Testing;
Databases;
Servers;
Task analysis;
Network topology;
71.
Fault Detection in Timed FSM with Timeouts by SAT-Solving
机译:
定时FSM的故障检测与SAT求解超时
作者:
Omer Nguena Timo
;
Dimitri Prestat
;
Florent Avellaneda
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Time factors;
Testing;
Fault detection;
Automata;
Prototypes;
Tools;
Clocks;
72.
A Novel Reliability Assessment Method Based on the Effects of Components
机译:
一种基于组件影响的新型可靠性评估方法
作者:
Yue Chen
;
Xuefeng Yan
;
Arif Ali Khan
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software reliability;
Object oriented modeling;
Software systems;
Reliability theory;
Data models;
73.
A Distance-Based Dynamic Random Testing with Test Case Clustering
机译:
具有测试用例聚类的基于距离的动态随机测试
作者:
Hanyu Pei
;
Beibei Yin
;
Kai-Yuan Cai
;
Min Xie
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fault detection;
Clustering methods;
Software testing;
Software;
Automation;
Electrical engineering;
74.
Testing Scientific Software with Invariant Relations: A Case Study
机译:
用不变关系测试科学软件:案例研究
作者:
Junhua Ding
;
XinChuan Li
;
Xin-Hua Hu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Testing;
Software;
Light scattering;
Transforms;
Diffraction;
Biological cells;
Hash functions;
75.
Characterizing Software Maintainability in Issue Summaries using a Fuzzy Classifier
机译:
使用模糊分类器来表征软件可维护性的问题摘要
作者:
Celia Chen
;
Michael Shoga
;
Barry Boehm
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Linguistics;
Software quality;
Computer bugs;
Software measurement;
Manuals;
Ontologies;
76.
Random Border Mirror Transform: A Diversity Based Approach to an Effective and Efficient Mirror Adaptive Random Testing
机译:
随机边框镜像:基于多样性的有效和高效镜像自适应随机测试的方法
作者:
Michael Omari
;
Jinfu Chen
;
Patrick Kwaku Kudjo
;
Hilary Ackah-Arthur
;
Rubing Huang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Mirrors;
Subspace constraints;
Software;
Power capacitors;
Software testing;
Software reliability;
77.
Importance and Aptitude of Source Code Density for Commit Classification into Maintenance Activities
机译:
提交对维护活动的重要性和源代码密度的重要性和能力
作者:
Sebastian H?nel
;
Morgan Ericsson
;
Welf L?we
;
Anna Wingkvist
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Maintenance engineering;
Tools;
Correlation;
Software quality;
Software systems;
Computer bugs;
78.
Combinatorial Robustness Testing with Negative Test Cases
机译:
负测试案例组合鲁棒性测试
作者:
Konrad F?gen
;
Horst Lichter
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Robustness;
Software;
Runtime environment;
Switches;
79.
TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs
机译:
tfcheck:用于检测神经网络程序中培训问题的Tensorflow库
作者:
Houssem Ben Braiek
;
Foutse Khomh
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Training;
Testing;
Libraries;
Data models;
Computer bugs;
Neurons;
Biological neural networks;
80.
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis
机译:
在路径敏感分析中重新组织和优化对可疑错误报告的检查
作者:
Xutong Ma
;
Jiwei Yan
;
Jun Yan
;
Jian Zhang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Inspection;
Tools;
Static analysis;
Sorting;
Software;
Memory management;
81.
Efficient Evolutionary Fuzzing for Android Application Installation Process
机译:
用于Android应用程序安装过程的高效进化模糊
作者:
Veysel Hatas
;
Sevil Sen
;
John A. Clark
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fuzzing;
Genetic algorithms;
Sociology;
Statistics;
Tools;
Computer crashes;
Security;
82.
Detecting Vulnerabilities in Android Applications using Event Sequences
机译:
使用事件序列检测Android应用程序中的漏洞
作者:
Zachary B. Ratliff
;
D. Richard Kuhn
;
Daniel J. Ragsdale
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Testing;
Computer bugs;
Tools;
Smart phones;
Wireless fidelity;
Security;
83.
A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects
机译:
开源软件项目中错误修复分析的点过程方法
作者:
Takahiro Ushiroda
;
Tadashi Dohi
;
Yasuhiro Saito
;
Hiroyuki Okamura
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software reliability;
Software;
Cascading style sheets;
Stochastic processes;
Debugging;
84.
Repeatable Decentralized Simulations for Cyber-Physical Systems
机译:
用于网络物理系统的可重复分散模拟
作者:
Christophe Reymann
;
Mohammed Foughali
;
Simon Lacroix
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer architecture;
Mathematical model;
Semantics;
Cyber-physical systems;
Load modeling;
Robots;
Software;
85.
SMARTKT: A Search Framework to Assist Program Comprehension using Smart Knowledge Transfer
机译:
SmartKt:使用智能知识传输协助程序理解的搜索框架
作者:
Srijoni Majumdar
;
Shakti Papdeja
;
Partha Pratim Das
;
Soumya Kanti Ghosh
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
Runtime;
Knowledge transfer;
Instruments;
Reliability;
Data mining;
Computer bugs;
86.
A Cluster-Based Hybrid Feature Selection Method for Defect Prediction
机译:
用于缺陷预测的基于群集的混合特征选择方法
作者:
Fei Wang
;
Jun Ai
;
Zhuoliang Zou
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Feature extraction;
Correlation;
Software;
Filtering algorithms;
Information filters;
Clustering algorithms;
87.
Quality of Reusable Game Software: Empowering Developers with Automated Quality Checks
机译:
可重复使用的游戏软件的质量:具有自动化质量检查的开发人员权力
作者:
Wim van der Vegt
;
Wim Westera
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Games;
Software;
C;
languages;
Portals;
Tools;
Encoding;
Quality assurance;
88.
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties
机译:
守护顾客:通过有效性属性炼油用于有效电子表格缺陷检测的细胞聚类
作者:
Da Li
;
Huiyan Wang
;
Chang Xu
;
Fengmin Shi
;
Xiaoxing Ma
;
Jian Lu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Semantics;
Adaptive learning;
Memory;
Spreadsheet programs;
Benchmark testing;
Conferences;
Software quality;
89.
Experimental Analysis and Comparison of Load Prediction Algorithms in Cloud Data Center
机译:
云数据中心负荷预测算法的实验分析与比较
作者:
Yanxin Liu
;
Jian Dong
;
Decheng Zuo
;
Hongwei Liu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Prediction algorithms;
Data centers;
Cloud computing;
Neural networks;
Training;
Machine learning algorithms;
Computational modeling;
90.
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification
机译:
基于测试的软件修改评估资源适应的故障定位
作者:
Arpit Christi
;
Alex Groce
;
Rahul Gopinath
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Synthetic aperture sonar;
Search problems;
Software systems;
Tools;
Maintenance engineering;
Buildings;
91.
Are All Duplicates Value-Neutral? An Empirical Analysis of Duplicate Issue Reports
机译:
都是重复的价值中立?重复问题报告的实证分析
作者:
Mingyang Li
;
Lin Shi
;
Qing Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Software;
History;
Tools;
Maintenance engineering;
Computer bugs;
Length measurement;
92.
Branch Use in Practice: A Large-Scale Empirical Study of 2,923 Projects on GitHub
机译:
分支机构在实践中使用:大规模实证研究在GitHub上的2,923个项目
作者:
Weiqin Zou
;
Weiqiang Zhang
;
Xin Xia
;
Reid Holmes
;
Zhenyu Chen
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Productivity;
Software;
Computer bugs;
Task analysis;
Collaboration;
Control systems;
Encoding;
93.
Reliability Analysis of Phased-Mission System in Irrelevancy Coverage Model
机译:
无束缚覆盖模型中相控使系统的可靠性分析
作者:
Ming Yang
;
Dongdong Zhao
;
Luyao Ye
;
Siwei Zhou
;
Jianwen Xiang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Fault trees;
Analytical models;
Algebra;
Software reliability;
Computational modeling;
Redundancy;
94.
What are Good Discussions Within Bug Report Comments for Shortening Bug Fixing Time?
机译:
错误报告中的良好讨论是为了缩短错误修复时间的评论?
作者:
Yuki Noyori
;
Hironori Washizaki
;
Yoshiaki Fukazawa
;
Keishi Ooshima
;
Hideyuki Kanuka
;
Shuhei Nojiri
;
Ryosuke Tsuchiya
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2019年
关键词:
Computer bugs;
Software;
Correlation;
Trademarks;
Natural language processing;
Tools;
95.
Attack Graph Auto-Generation for Blockchains based on Bigraphical Reaction Systems
机译:
基于大型反应系统的区块链攻击图自动生成
作者:
Lian Yu
;
Lijun Liu
;
Yanbing Jiang
;
Qi Jing
;
Bei Zhao
;
Chen Zhang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
attack graph generation;
bigraphical reaction rules;
blockchain network;
96.
Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity
机译:
基于行为森林相似性的智能PONZI方案合同的早期检测
作者:
Weisong Sun
;
Guangyao Xu
;
Zijiang Yang
;
Zhenyu Chen
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
Smart contract;
Smart Ponzi scheme;
Behavior tree;
Behavior forest;
Ponzitract detection;
97.
STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems
机译:
STSL:用于网络物理系统的新型时空规范语言
作者:
Tengfei Li
;
Jing Liu
;
JieXiang Kang
;
Haiying Sun
;
Wei Yin
;
Xiaohong Chen
;
Hui Wang
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
Spatiotemporal Specification Language;
Falsification;
Parameter Synthesis;
Adaptive Cruise Control System;
Path Planning of Quadrotors;
98.
Reliability Evaluation of FPGA with Common Cause Failure in Multi-Phase Mission
机译:
多相任务中常见原因失败的FPGA可靠性评估
作者:
Qi Shao
;
Shunkun Yang
;
Chong Bian
;
Xiaodong Gou
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
n/a;
99.
Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies
机译:
正确和控制复杂的物联网系统:评估系统异常的分类
作者:
Sina Niedermaier
;
Stefan Heisse
;
Stefan Wagner
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
anomaly;
failure;
fault;
defect;
complex system;
classification;
100.
Process-variation Effects on 3D TLC Flash Reliability: Characterization and Mitigation Scheme
机译:
关于3D TLC闪光可靠性的过程 - 变化效应:表征和缓解方案
作者:
Yuqian Pan
;
Haichun Zhang
;
Mingyang Gong
;
Zhenglin Liu
会议名称:
《International Conference on Software Quality, Reliability and Security》
|
2020年
关键词:
3D NAND;
storage;
reliability;
process variation;
error analysis;
Machine learning;
意见反馈
回到顶部
回到首页