掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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
召开年:
2014
召开地:
Naples(IT)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Analysis and Diagnosis of SLA Violations in a Production SaaS Cloud
机译:
生产SaaS云中SLA违规的分析和诊断
作者:
Martino Catello Di
;
Chen Daniel
;
Goel Geetika
;
Ganesan Rajeshwari
;
Kalbarczyk Zbigniew
;
Iyer Ravishankar
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Availability;
Business;
Data analysis;
Databases;
Operating systems;
Production;
Servers;
SLA violations;
SaaS;
empirical reliability;
fault injection;
hazard analysis;
log analysis;
2.
Predicting Vulnerable Components: Software Metrics vs Text Mining
机译:
预测易受攻击的组件:软件指标与文本挖掘
作者:
Walden James
;
Stuckman Jeff
;
Scandariato Riccardo
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Authorization;
Databases;
Predictive models;
Software;
Software metrics;
Text mining;
3.
Zen-CC: An Automated and Incremental Conformance Checking Solution to Support Interactive Product Configuration
机译:
Zen-CC:自动和增量一致性检查解决方案,支持交互式产品配置
作者:
Lu Hong
;
Yue Tao
;
Ali Shaukat
;
Nie Kunming
;
Zhang Li
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Context;
Educational institutions;
Heuristic algorithms;
Manuals;
Software;
Unified modeling language;
Vegetation;
Conformance Checking;
Product Configuration;
Product Line Engineering;
Variation Point;
4.
Experience Report: Orthogonal Classification of Safety Critical Issues
机译:
经验报告:安全关键问题的正交分类
作者:
Silva Nuno
;
Vieira Marco
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Industries;
Random access memory;
Safety;
Satellites;
Software;
Standards;
Testing;
ODC;
classification;
defect;
issue;
orthogonality;
safety-critical;
5.
Defect Prediction between Software Versions with Active Learning and Dimensionality Reduction
机译:
主动学习和降维的软件版本之间的缺陷预测
作者:
Lu Huihua
;
Kocaguneli Ekrem
;
Cukic Bojan
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computational modeling;
Measurement;
Predictive models;
Radio frequency;
Software;
Supervised learning;
Uncertainty;
Active learning;
Complexity measures;
Dimensionality reduction;
Machine learning;
Software defect prediction;
6.
An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing
机译:
组合测试可用算法和工具的有序调查
作者:
Khalsa Sunint Kaur
;
Labiche Yvan
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Algorithm design and analysis;
Classification algorithms;
Partitioning algorithms;
Protocols;
Software;
Software algorithms;
Testing;
Combinatorial testing;
Covering arrays;
algorithms;
category partition;
strength of testing;
7.
More Debugging in Parallel
机译:
并行进行更多调试
作者:
Hogerle Wolfgang
;
Steimann Friedrich
;
Frenkel Marcus
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Algorithm design and analysis;
Clustering algorithms;
Debugging;
Fault diagnosis;
Integer linear programming;
Java;
Partitioning algorithms;
Debugging;
Parallelization;
8.
Why Does my Spreadsheet Compute Wrong Values?
机译:
为什么我的电子表格计算错误的值?
作者:
Hofer Birgit
;
Wotawa Franz
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Accuracy;
Computational modeling;
Debugging;
Equations;
Mathematical model;
Object oriented modeling;
Semantics;
Fault Localization;
Model-Based Software Debugging;
Spreadsheet Debugging;
9.
Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-Intensive Systems: The Norwegian Customs and Excise Case Study
机译:
经验报告:验证数据交互作用范围以改进对数据密集型系统的测试:挪威海关实例
作者:
Sen Sagar
;
Ieva Carlo
;
Sarkar Arnab
;
Sander Atle
;
Grime Astrid
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Business;
Data models;
Databases;
Finance;
Industries;
Manuals;
Testing;
classification tree modelling;
coverage;
data interaction;
data-intensive systems;
relational databases;
testing;
10.
WPBOUND: Enforcing Spatial Memory Safety Efficiently at Runtime with Weakest Preconditions
机译:
WPBOUND:在运行时以最弱的先决条件有效地加强空间内存的安全性
作者:
Ye Ding
;
Su Yu
;
Sui Yulei
;
Xue Jingling
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Hardware;
Instruments;
Optimization;
Runtime;
Safety;
Software;
Upper bound;
11.
Assessing Direct Monitoring Techniques to Analyze Failures of Critical Industrial Systems
机译:
评估直接监控技术以分析关键工业系统的故障
作者:
Cinque Marcello
;
Cotroneo Domenico
;
Corte Raffaele Della
;
Pecchia Antonio
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computer crashes;
Context;
Instruments;
Middleware;
Monitoring;
Operating systems;
assertions;
code instrumentation;
critical systems;
event logs;
failure detection;
information entropy;
12.
On the Long-Term Predictive Capability of Data-Driven Software Reliability Model: An Empirical Evaluation
机译:
数据驱动软件可靠性模型的长期预测能力:一项实证评估
作者:
Park Jinhee
;
Lee Nakwon
;
Baik Jongmoon
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computational modeling;
Data models;
Predictive models;
Software;
Software reliability;
Testing;
Time series analysis;
SRGMs;
data-driven software reliability model;
long-term prediction;
mul-step ahead forecasting;
software reliability;
13.
Reproducibility of Environment-Dependent Software Failures: An Experience Report
机译:
环境相关软件故障的可重现性:一份经验报告
作者:
Cavezza Davide G.
;
Pietrantuono Roberto
;
Alonso Javier
;
Russo Stefano
;
Trivedi Kishor S.
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computer bugs;
Debugging;
Memory management;
Random access memory;
Servers;
Software;
Testing;
Software testing;
debugging;
14.
Norming to Performing: Failure Analysis and Deployment Automation of Big Data Software Developed by Highly Iterative Models
机译:
规范执行:由高度迭代模型开发的大数据软件故障分析和部署自动化
作者:
Yim Keun Soo
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Automation;
Big data;
Fault tolerance;
Fault tolerant systems;
Production;
Runtime;
Software;
Automation;
failure classification;
human error;
incremental validation;
iterative development;
software deployment;
15.
Mutations: How Close are they to Real Faults?
机译:
变异:它们与实际故障有多接近?
作者:
Gopinath Rahul
;
Jensen Carlos
;
Groce Alex
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Accuracy;
Computer bugs;
Java;
Sociology;
Software;
Statistics;
mutation analysis;
software testing;
16.
Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving
机译:
使用静态分析和约束求解发现ATL模型转换中的错误
作者:
Cuadrado Jesus Sanchez
;
Guerra Esther
;
Lara Juan de
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Abstracts;
Analytical models;
Computational modeling;
Runtime;
Syntactics;
Testing;
Unified modeling language;
Constraint Solving;
Model Transformation;
Model-Driven Engineering;
Static Analysis;
Verification and Testing;
17.
Security Benchmarks for Web Serving Systems
机译:
Web服务系统的安全基准
作者:
Mendes Naaliel
;
Madeira Henrique
;
Duraes Joao
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Benchmark testing;
Computers;
Databases;
Equations;
Measurement;
Security;
Software;
Benchmarking;
security;
web serving systems;
18.
A Survey on Unit Testing Practices and Problems
机译:
单元测试实践和问题调查
作者:
Daka Ermira
;
Fraser Gordon
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Java;
Reliability;
Software;
Software engineering;
Testing;
Writing;
survey;
test case generation;
unit testing;
19.
Predicting Effectiveness of IR-Based Bug Localization Techniques
机译:
预测基于IR的Bug定位技术的有效性
作者:
Le Tien-Duy B.
;
Thung Ferdian
;
Lo David
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computational modeling;
Computer bugs;
Debugging;
Feature extraction;
Predictive models;
Support vector machines;
Training;
Bug Localization;
Bug Reports;
Effectiveness Prediction;
Information Retrieval;
Text Classification;
20.
Runtime Verification of Web Services for Interconnected Medical Devices
机译:
互连医疗设备的Web服务的运行时验证
作者:
Decker Normann
;
Kuhn Franziska
;
Thoma Daniel
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Biomedical monitoring;
Monitoring;
Runtime;
Safety;
Semantics;
Service-oriented architecture;
Automata;
LTL;
Medical Devices;
Runtime Verification;
SMT;
Web Services;
21.
Access Control Policy Evolution: An Empirical Study
机译:
访问控制策略的演变:一项实证研究
作者:
Hwang Jeehyun
;
Lee Da Young
;
Williams Laurie
;
Vouk Mladen
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Access control;
Linux;
Maintenance engineering;
Market research;
Predictive models;
Software;
access control policy;
evolution;
maintainability;
22.
Deadlock and Temporal Properties Analysis in Mixed Reality Applications
机译:
混合现实应用中的死锁和时间属性分析
作者:
Devillers Raymond
;
Didier Jean-Yves
;
Klaudel Hanna
;
Arcile Johan
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Automata;
Cameras;
Clocks;
Rendering (computer graphics);
Sensors;
System recovery;
Virtual reality;
Mixed reality;
deadlocks;
temporal properties;
timed automata;
23.
Experience Report: An Analysis of Hypercall Handler Vulnerabilities
机译:
体验报告:Hypercall处理程序漏洞分析
作者:
Milenkoski Aleksandar
;
Payne Bryan D.
;
Antunes Nuno
;
Vieira Marco
;
Kounev Samuel
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Computer crashes;
Electronic mail;
Kernel;
Linux;
Security;
Servers;
Virtual machine monitors;
hypercalls;
hypervisor security;
vulnerability analysis;
24.
Failure Analysis of Jobs in Compute Clouds: A Google Cluster Case Study
机译:
计算云中作业的失败分析:Google集群案例研究
作者:
Chen Xin
;
Lu Charng-Da
;
Pattabiraman Karthik
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Availability;
Containers;
Correlation;
Google;
Log-normal distribution;
Maintenance engineering;
Job failure;
anomaly detection;
cloud reliability;
distributions;
failure prediction;
25.
Using Pre-Release Test Failures to Build Early Post-Release Defect Prediction Models
机译:
使用发布前测试失败建立早期发布后缺陷预测模型
作者:
Herzig Kim
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Context;
Correlation;
Logic gates;
Measurement;
Predictive models;
Software;
Testing;
defect prediction;
development process;
measurement;
software testing;
26.
A Systematic Approach for Software Interference Analysis
机译:
一种系统的软件干扰分析方法
作者:
Zimmer Bastian
;
Dropmann Christoph
;
Hanger Jochen Ulrich
会议名称:
《》
|
2014年
关键词:
Interference;
Power system faults;
Power system protection;
Safety;
Software;
Standards;
Systematics;
Fault-Tolerance;
Mixed-Criticality;
Partitioning;
Segregation;
Software Interference;
Software and System Safety;
27.
Program Logic Based Software Plagiarism Detection
机译:
基于程序逻辑的软件Pla窃检测
作者:
Zhang Fangfang
;
Wu Dinghao
;
Liu Peng
;
Zhu Sencun
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Cloning;
Educational institutions;
Plagiarism;
Resilience;
Semantics;
Software;
Testing;
Obfuscation;
Path deviation;
Software plagiarism detection;
Symbolic execution;
28.
Experience Report: A Safety Engineering Tool Supporting Error Model Creation and Visualization
机译:
经验报告:支持错误模型创建和可视化的安全工程工具
作者:
Mader Roland
;
Obendrauf Rene
;
Prinz Philipp
;
Griessnig Gerhard
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Analytical models;
Automotive engineering;
Databases;
Fault trees;
Safety;
Time division multiplexing;
Unified modeling language;
29.
An Empirical Study on the Scalability of Selective Mutation Testing
机译:
选择性突变测试可扩展性的实证研究
作者:
Zhang Jie
;
Zhu Muyao
;
Hao Dan
;
Zhang Lu
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Atmospheric measurements;
Educational institutions;
Particle measurements;
Scalability;
Software;
Testing;
XML;
empirical study;
mutation testing;
scalability;
software testing;
30.
Multi-objective Construction of an Entire Adequate Test Suite for an EFSM
机译:
EFSM完整测试套件的多目标构建
作者:
Asoudeh Nesa
;
Labiche Yvan
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Biological cells;
Genetic algorithms;
Linear programming;
Optimization;
Sociology;
Statistics;
Testing;
EFSM;
case studies;
genetic algorithm;
multi-objective optimization;
state-based testing;
31.
Effective Bug Triage Based on Historical Bug-Fix Information
机译:
基于历史错误修复信息的有效错误分类
作者:
Hu Hao
;
Zhang Hongyu
;
Xuan Jifeng
;
Sun Weigang
会议名称:
《IEEE International Symposium on Software Reliability Engineering》
|
2014年
关键词:
Companies;
Computational modeling;
Computer bugs;
Software;
Support vector machines;
Text categorization;
Vectors;
bug report assignment;
bug repository;
bug triage;
developer recommendation;
意见反馈
回到顶部
回到首页