掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Symposium on Software Reliability Engineering
IEEE International Symposium on Software Reliability Engineering
召开年:
2019
召开地:
Berlin(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
FluxRank: A Widely-Deployable Framework to Automatically Localizing Root Cause Machines for Software Service Failure Mitigation
机译:
FluxRank:一种可广泛部署的框架,用于自动定位根本原因机器以减轻软件服务故障
作者:
Ping Liu
;
Yu Chen
;
Xiaohui Nie
;
Jing Zhu
;
Shenglin Zhang
;
Kaixin Sui
;
Ming Zhang
;
Dan Pei
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
failure analysis;
software reliability;
2.
Generic and Robust Localization of Multi-dimensional Root Causes
机译:
多维根源的通用且鲁棒的本地化
作者:
Zeyan Li
;
Chengyang Luo
;
Yiwei Zhao
;
Yongqian Sun
;
Kaixin Sui
;
Xiping Wang
;
Dapeng Liu
;
Xing Jin
;
Qi Wang
;
Dan Pei
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
data analysis;
Internet;
software metrics;
3.
TCD: Statically Detecting Type Confusion Errors in C++ Programs
机译:
TCD:在C ++程序中静态检测类型混淆错误
作者:
Changwei Zou
;
Yulei Sui
;
Hua Yan
;
Jingling Xue
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
C++ language;
graphical user interfaces;
program compilers;
program debugging;
program diagnostics;
program testing;
security of data;
4.
OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis
机译:
OpenErrorPro:基于随机模型的可靠性和弹性分析的新工具
作者:
Andrey Morozov
;
Kai Ding
;
Mikael Steurer
;
Klaus Janschek
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
belief networks;
failure analysis;
fault trees;
formal verification;
Markov processes;
probability;
safety-critical software;
software fault tolerance;
software tools;
Unified Modeling Language;
5.
How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects
机译:
如何解释补丁:开放源代码项目中补丁说明的实证研究
作者:
Jingjing Liang
;
Yaozong Hou
;
Shurui Zhou
;
Junjie Chen
;
Yingfei Xiong
;
Gang Huang
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
automatic programming;
program debugging;
public domain software;
software maintenance;
6.
Inferring Performance Bug Patterns from Developer Commits
机译:
从开发人员提交推断性能错误模式
作者:
Yiqun Chen
;
Stefan Winter
;
Neeraj Suri
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
Java;
program debugging;
program diagnostics;
public domain software;
7.
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks
机译:
神经网络中重要性分析和对抗生成的符号执行
作者:
Divya Gopinath
;
Mengshi Zhang
;
Kaiyuan Wang
;
İsmet Burak Kadron
;
Corina Pasareanu
;
Sarfraz Khurshid
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
feature extraction;
image classification;
neural nets;
program diagnostics;
8.
How Do Developers Act on Static Analysis Alerts? An Empirical Study of Coverity Usage
机译:
开发人员如何对静态分析警报采取行动?覆盖率用法的实证研究
作者:
Nasif Imtiaz
;
Brendan Murphy
;
Laurie Williams
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
human factors;
program diagnostics;
public domain software;
software metrics;
software tools;
9.
Engineering a Better Fuzzer with Synergically Integrated Optimizations
机译:
通过协同集成优化设计出更好的模糊器
作者:
Jie Liang
;
Yuanliang Chen
;
Mingzhe Wang
;
Yu Jiang
;
Zijiang Yang
;
Chengnian Sun
;
Xun Jiao
;
Jiaguang Sun
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
fuzzy set theory;
optimisation;
scheduling;
10.
Spotting Problematic Code Lines using Nonintrusive Programmers' Biofeedback
机译:
使用非侵入式程序员的生物反馈发现有问题的代码行
作者:
Ricardo Couceiro
;
Raul Barbosa
;
Joáo Duráes
;
Gonçalo Duarte
;
Joáo Castelhano
;
Catarina Duarte
;
Cesar Teixeira
;
Nuno Laranjeiro
;
Júlio Medeiros
;
Paulo Carvalho
;
Miguel Castelo Branco
;
Henrique Madeira
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
cognition;
neurophysiology;
patient monitoring;
program testing;
software maintenance;
software quality;
software tools;
11.
Analyzing the Context of Bug-Fixing Changes in the OpenStack Cloud Computing Platform
机译:
分析OpenStack云计算平台中的错误修复上下文
作者:
Domenico Cotroneo
;
Luigi De Simone
;
Antonio Ken Iannillo
;
Roberto Natella
;
Stefano Rosiello
;
Nematollah Bidokhti
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
cloud computing;
Java;
program debugging;
program testing;
public domain software;
software quality;
12.
On the Density and Diversity of Degradation Symptoms in Refactored Classes: A Multi-case Study
机译:
重构类中退化症状的密度和多样性:多案例研究
作者:
Willian Oizumi
;
Leonardo Sousa
;
Anderson Oliveira
;
Luiz Carvalho
;
Alessandro Garcia
;
Thelma Colanzi
;
Roberto Oliveira
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
public domain software;
software maintenance;
software quality;
13.
An Empirical Study of Common Challenges in Developing Deep Learning Applications
机译:
关于开发深度学习应用程序中常见挑战的实证研究
作者:
Tianyi Zhang
;
Cuiyun Gao
;
Lei Ma
;
Michael Lyu
;
Miryung Kim
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
application program interfaces;
graph theory;
learning (artificial intelligence);
program debugging;
program diagnostics;
software engineering;
software reliability;
14.
TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in Java Applications
机译:
TripleAgent:监视,扰动和故障排除-用于Java应用程序中自动恢复能力的自动提高
作者:
Long Zhang
;
Martin Monperrus
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
file servers;
Java;
virtual machines;
15.
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade
机译:
FILO:针对Android框架升级引起的问题的FIx-LOcus建议
作者:
Marco Mobilio
;
Oliviero Rignaelli
;
Daniela Micucci
;
Leonardo Mariani
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
application program interfaces;
mobile computing;
operating systems (computers);
program debugging;
16.
HiRec: API Recommendation using Hierarchical Context
机译:
HiRec:使用分层上下文的API建议
作者:
Rensong Xie
;
Xianglong Kong
;
Lulu Wang
;
Ying Zhou
;
Bixin Li
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
application program interfaces;
public domain software;
ubiquitous computing;
17.
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection
机译:
基于软件故障注入的设备驱动程序模糊处理错误处理代码
作者:
Zu-Ming Jiang
;
Jia-Ju Bai
;
Julia Lawall
;
Shi-Min Hu
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
device drivers;
error handling;
Linux;
program debugging;
program diagnostics;
program testing;
software fault tolerance;
18.
Enhancing Failure Propagation Analysis in Cloud Computing Systems
机译:
增强云计算系统中的故障传播分析
作者:
Domenico Cotroneo
;
Luigi De Simone
;
Pietro Liguori
;
Roberto Natella
;
Nematollah Bidokhti
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
cloud computing;
failure analysis;
software reliability;
software reusability;
19.
Criteria to Systematically Evaluate (Safety) Assurance Cases
机译:
系统评估(安全)保证案例的标准
作者:
Thomas Chowdhury
;
Alan Wassyng
;
Richard F. Paige
;
Mark Lawford
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
decision making;
formal specification;
inference mechanisms;
security of data;
20.
The Impact of Data Preparation on the Fairness of Software Systems
机译:
数据准备对软件系统公平性的影响
作者:
Inês Valentim
;
Nuno Lourenço
;
Nuno Antunes
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
data mining;
learning (artificial intelligence);
pattern classification;
software engineering;
21.
A Tale of Two Injectors: End-to-End Comparison of IR-Level and Assembly-Level Fault Injection
机译:
两个注入器的故事:IR级和组装级故障注入的端到端比较
作者:
Lucas Palazzi
;
Guanpeng Li
;
Bo Fang
;
Karthik Pattabiraman
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
optimising compilers;
software fault tolerance;
22.
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction
机译:
跨项目老化相关错误预测的监督表示学习方法
作者:
Xiaohui Wan
;
Zheng Zheng
;
Fangyun Qin
;
Yu Qiao
;
Kishor S. Trivedi
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
learning (artificial intelligence);
program debugging;
public domain software;
software fault tolerance;
23.
Back to Basics - Redefining Quality Measurement for Hybrid Software Development Organizations
机译:
返回基础-重新定义混合软件开发组织的质量度量
作者:
Satya Pradhan
;
Venky Nanniyur
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
cloud computing;
decision making;
organisational aspects;
software development management;
software metrics;
software prototyping;
software quality;
24.
Benefits and Challenges of Model-Based Software Engineering: Lessons Learned Based on Qualitative and Quantitative Findings
机译:
基于模型的软件工程的优势和挑战:基于定性和定量发现的经验教训
作者:
Katerina Goseva-Popstojanova
;
Thomas Kyanko
;
Noble Nkwocha
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
learning (artificial intelligence);
program debugging;
program diagnostics;
software quality;
XML;
25.
Propheticus: Machine Learning Framework for the Development of Predictive Models for Reliable and Secure Software
机译:
Propheticus:机器学习框架,用于开发可靠和安全的软件的预测模型
作者:
João R. Campos
;
Marco Vieira
;
Ernesto Costa
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
decision support systems;
learning (artificial intelligence);
security of data;
software fault tolerance;
system recovery;
26.
Identifying Crashing Fault Residence Based on Cross Project Model
机译:
基于跨项目模型的碰撞故障故障识别
作者:
Zhou Xu
;
Tao Zhang
;
Yifeng Zhang
;
Yutian Tang
;
Jin Liu
;
Xiapu Luo
;
Jacky Keung
;
Xiaohui Cui
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
feature extraction;
learning (artificial intelligence);
pattern classification;
program debugging;
project management;
software fault tolerance;
software quality;
source code (software);
27.
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios
机译:
学习标记的马尔可夫调制泊松过程,用于攻击场景的在线预测分析
作者:
Laura Carnevali
;
Francesco Santoni
;
Enrico Vicario
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
expectation-maximisation algorithm;
learning (artificial intelligence);
Markov processes;
security of data;
software reliability;
28.
Test Case Generation Based on Client-Server of Web Applications by Memetic Algorithm
机译:
基于模因算法的Web应用客户端-服务器测试案例生成
作者:
Weiwei Wang
;
Xiaohong Guo
;
Zheng Li
;
Ruilian Zhao
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
client-server systems;
computer network security;
genetic algorithms;
Internet;
program testing;
public domain software;
29.
Machine Learning and Constraint Solving for Automated Form Testing
机译:
用于自动表格测试的机器学习和约束解决
作者:
Dionny Santiago
;
Justin Phillips
;
Patrick Alt
;
Brian Muras
;
Tariq M. King
;
Peter J. Clarke
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
learning (artificial intelligence);
natural language processing;
program testing;
30.
Understanding and Improving Regression Test Selection in Continuous Integration
机译:
了解和改进持续集成中的回归测试选择
作者:
August Shi
;
Peiyuan Zhao
;
Darko Marinov
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
cloud computing;
failure analysis;
program debugging;
program testing;
regression analysis;
software reliability;
31.
Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning
机译:
文本输出:通过面向可视化的学习检测移动应用程序中的文本布局错误
作者:
Yaohui Wang
;
Hui Xu
;
Yangfan Zhou
;
Michael R. Lyu
;
Xin Wang
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
convolutional neural nets;
data visualisation;
learning (artificial intelligence);
mobile computing;
pattern classification;
smart phones;
text detection;
32.
Integrating Safety Certification Into Model-Based Testing of Safety-Critical Systems
机译:
将安全认证集成到安全关键系统的基于模型的测试中
作者:
Aiman Gannous
;
Anneliese Andrews
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
certification;
program diagnostics;
program testing;
safety-critical software;
software fault tolerance;
33.
Mirage: Towards a Metasploit-Like Framework for IoT
机译:
Mirage:面向物联网的类似于Metasploit的框架
作者:
Romain Cayre
;
Vincent Nicomette
;
Guillaume Auriol
;
Eric Alata
;
Mohamed Kaaniche
;
Géraldine Marconato
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
auditing;
Internet of Things;
program testing;
Python;
security of data;
software architecture;
software tools;
34.
Estimating Return on Investment for GUI Test Automation Frameworks
机译:
估计GUI测试自动化框架的投资回报率
作者:
Felix Dobslaw
;
Robert Feldt
;
David Michaëlsson
;
Patrik Haar
;
Francisco Gomes de Oliveira Neto
;
Richard Torkar
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
graphical user interfaces;
investment;
program testing;
quality assurance;
software maintenance;
software quality;
35.
Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing
机译:
通过道路测试评估自动驾驶汽车的安全性和可靠性
作者:
Xingyu Zhao
;
Valentin Robu
;
David Flynn
;
Kizito Salako
;
Lorenzo Strigini
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
Bayes methods;
program testing;
software reliability;
36.
A Safety Analysis Method for Perceptual Components in Automated Driving
机译:
自动驾驶感知组件的安全性分析方法
作者:
Rick Salay
;
Matt Angus
;
Krzysztof Czarnecki
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
control engineering computing;
failure analysis;
inference mechanisms;
learning (artificial intelligence);
mobile robots;
pattern classification;
road vehicles;
safety-critical software;
security of data;
37.
TamperNN: Efficient Tampering Detection of Deployed Neural Nets
机译:
TamperNN:部署的神经网络的有效篡改检测
作者:
Erwan Le Merrer
;
Trédan Gilles
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
application program interfaces;
neural nets;
security of data;
38.
Trustworthiness Assessment of Web Applications: Approach and Experimental Study using Input Validation Coding Practices
机译:
Web应用程序的可信度评估:使用输入验证编码实践的方法和实验研究
作者:
Cristiano Inácio Lemes
;
Vincent Naessens
;
Marco Vieira
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
Internet;
security of data;
software quality;
39.
Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD
机译:
通过RELOAD轻松评估异常检测算法
作者:
Tommaso Zoppi
;
Andrea Ceccarelli
;
Andrea Bondavalli
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
data mining;
graphical user interfaces;
learning (artificial intelligence);
security of data;
40.
MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
机译:
MPro:结合静态和符号分析进行智能合约的可扩展测试
作者:
William Zhang
;
Sebastian Banescu
;
Leonardo Pasos
;
Steven Stewart
;
Vijay Ganesh
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
contracts;
cryptocurrencies;
program diagnostics;
program testing;
program verification;
symbol manipulation;
Turing machines;
41.
Amplifying Integration Tests with CAMP
机译:
使用CAMP放大集成测试
作者:
Franck Chauvel
;
Brice Morin
;
Enrique Garcia-Ceja
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
program testing;
public domain software;
software architecture;
42.
Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures
机译:
在不确定的环境中规划课程:SEA使用过去的问题来避免将来的失败
作者:
Preston Moore
;
Justin Cappos
;
Phyllis Frankl
;
Thomas Wies
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2019年
关键词:
Linux;
program debugging;
program testing;
software fault tolerance;
意见反馈
回到顶部
回到首页