首页>外文会议>IEEE International Conference on Software Quality, Reliability and Security

IEEE International Conference on Software Quality, Reliability and Security

召开年：2016
召开地：Vienna(AT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Invited Talk by VVASS Workshop

机译：VVASS研讨会特邀演讲
- 作者：Schahram Dustdar
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Internet of Things;
- cloud computing;
2.Invited Talk by SSCPS Workshop

机译：SSCPS研讨会特邀演讲
- 作者：Wei Han
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- software reliability;
- operating systems (computers);
3.Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps

机译：通过在移动游戏应用程序的渲染GUI中检测可操作区域来促进猴子测试
- 作者：Chenglong Sun;Zhenyu Zhang;Bo Jiang;W.K. Chan
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Graphical user interfaces;
- Testing;
- Software;
- Games;
- Image color analysis;
- Androids;
- Humanoid robots;
4.A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage

机译：从高阶变异覆盖率估计一阶变异覆盖率的模型
- 作者：Ali Parsai;Alessandro Murgia;Serge Demeyer
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Testing;
- Computational modeling;
- Estimation;
- Mathematical model;
- Measurement;
- Open source software;
5.Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions

机译：在测试执行中与预算配额持续集成中的测试和调试
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
6.What Makes a Satisficing Bug Report?

机译：什么使令人满意的错误报告？
- 作者：Tommaso Dal Sasso;Andrea Mocci;Michele Lanza
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Computer bugs;
- Statistical analysis;
- Analytical models;
- Software reliability;
- Open source software;
7.Thresholds for Size and Complexity Metrics: A Case Study from the Perspective of Defect Density

机译：规模和复杂性指标的阈值：以缺陷密度为视角的案例研究
- 作者：Kazuhiro Yamashita;Changyun Huang;Meiyappan Nagappan;Yasutaka Kamei;Audris Mockus;Ahmed E. Hassan;Naoyasu Ubayashi
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Measurement;
- Java;
- Complexity theory;
- Software quality;
- Couplings;
- Software engineering;
8.DFL: Dual-Service Fault Localization

机译：DFL：双重服务故障定位
- 作者：C.M. Tang;Jacky Keung;Y.T. Yu;W.K. Chan
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Software;
- Debugging;
- Computer bugs;
- Adaptation models;
- Benchmark testing;
- Production;
- Companies;
9.Hunting Killer Tasks for Cloud System through Machine Learning: A Google Cluster Case Study

机译：通过机器学习为云系统寻找杀手级任务：Google集群案例研究
- 作者：Hongyan Tang;Ying Li;Tong Jia;Zhonghai Wu
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Cloud computing;
- Google;
- Time series analysis;
- Predictive models;
- Processor scheduling;
- Pattern recognition;
- Servers;
10.HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts

机译：HistLock：具有功能上下文的隐式预测数据竞速的高效和声音混合检测
- 作者：Jialin Yang;Chunbai Yang;W.K. Chan
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Detectors;
- Instruction sets;
- Clocks;
- History;
- Synchronization;
- Context;
- Computer science;
11.How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study

机译：基于分支的组合测试有多有效？探索性研究
- 作者：Huiyan Wang;Chang Xu;Jun Sui;Jian Lu
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Java;
- Software testing;
- Fault detection;
- Terminology;
- Software;
- Merging;
12.A Faceted Classification Scheme for Change-Based Industrial Code Review Processes

机译：基于变更的工业法规审查流程的多面分类方案
- 作者：Tobias Baum;Olga Liskin;Kai Niklas;Kurt Schneider
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Companies;
- Interviews;
- Software;
- Bibliographies;
- Inspection;
- Industries;
- Standards;
13.Automatic Invariant Synthesis for Arrays in Simple Programs

机译：简单程序中数组的自动不变综合
- 作者：Bin Li;Zhenhao Tang;Juan Zhai;Jianhua Zhao
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Indexes;
- Arrays;
- Parallel processing;
- Cognition;
- Syntactics;
- Convergence;
- Lattices;
14.Verifying Distributed Controllers with Local Invariants

机译：验证具有局部不变性的分布式控制器
- 作者：Yiqun Wang;Shengwei An;Xiaoxing Ma;Chun Cao;Chang Xu
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Metals;
- Control systems;
- Protocols;
- Analytical models;
- Software;
- Scalability;
- Binary trees;
15.Precondition Calculation for Loops Iterating over Data Structures

机译：遍历数据结构的循环的前提条件计算
- 作者：Juan Zhai;Bin Li;Zhenhao Tang;Jianhua Zhao;Xuandong Li
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Containers;
- Arrays;
- Reliability;
- Open source software;
- Software quality;
16.Towards Understanding Interactive Debugging

机译：迈向了解交互式调试
- 作者：Fabio Petrillo;Zéphyrin Soh;Foutse Khomh;Marcelo Pimenta;Carla Freitas;Yann-Gaël Guéhéneuc
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Debugging;
- Software;
- Maintenance engineering;
- Navigation;
- Data visualization;
- Computer bugs;
- Software engineering;
17.Correlation between the Distribution of Software Bugs and Network Motifs

机译：软件漏洞分布与网络图形之间的相关性
- 作者：Shaoxiong Zhang;Jun Ai;Xuelin Li
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Computer bugs;
- Software systems;
- Complex networks;
- Correlation;
- Complexity theory;
- Software reliability;
18.Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking

机译：通过执行位置等效性检查保护旧版代码免受控制劫持
- 作者：Tobias F. Pfeffer;Stefan Sydow;Joachim Fellmuth;Paula Herber
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Monitoring;
- Reliability;
- Security;
- Engines;
- Operating systems;
- Aerospace electronics;
- Control systems;
19.Firewalls for the Web 2.0

机译：Web 2.0的防火墙
- 作者：René Rietz;Hartmut König;Steffen Ullrich;Benjamin Stritter
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Browsers;
- Security;
- Servers;
- Web 2.0;
- Malware;
- Web pages;
- Service-oriented architecture;
20.Detecting and Preventing Program Inconsistencies under Database Schema Evolution

机译：在数据库模式演变下检测和防止程序不一致
- 作者：Loup Meurice;Csaba Nagy;Anthony Cleve
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Java;
- History;
- Relational databases;
- Open source software;
- Libraries;
- Industries;
21.Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking

机译：使用统计模型检查对变异感知的物联网设计进行定量分析
- 作者：Siyuan Xu;Weikai Miao;Thomas Kunz;Tongquan Wei;Mingsong Chen
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- statistical analysis;
- automata theory;
- formal verification;
- Internet of Things;
- specification languages;
22.Quantifying the Impact of Replication on the Quality-of-Service in Cloud Databases

机译：量化复制对云数据库中服务质量的影响
- 作者：Rasha Osman;Juan F. Pérez;Giuliano Casale
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Time factors;
- Quality of service;
- Data models;
- Standards;
- Relational databases;
- Computational modeling;
23.Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers

机译：利用静态分析工具提高内存错误清理编译器的可用性
- 作者：Rigel Gjomemo;Phu H. Phung;Edmund Ballou;Kedar S. Namjoshi;V.N. Venkatakrishnan;Lenore Zuck
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Runtime;
- Safety;
- Instruments;
- Algorithm design and analysis;
- Security;
- Benchmark testing;
- Optimization;
24.NOTICE: A Framework for Non-Functional Testing of Compilers

机译：注意：编译器非功能测试的框架
- 作者：Mohamed Boussaa;Olivier Barais;Benoit Baudry;Gerson Sunyé
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Optimization;
- Program processors;
- Memory management;
- Testing;
- Sociology;
- Statistics;
25.Mutation Integration Testing

机译：变异整合测试
- 作者：Mark Grechanik;Gurudev Devanla
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Testing;
- Computer bugs;
- Java;
- Computational modeling;
- Object oriented modeling;
- Open source software;
26.Test Case Prioritization Using Adaptive Random Sequence with Category-Partition-Based Distance

机译：使用基于类别-分区的距离的自适应随机序列对测试案例进行优先级排序
- 作者：Xiaofang Zhang;Xiaoyuan Xie;Tsong Yueh Chen
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Random sequences;
- Measurement;
- Testing;
- Subspace constraints;
- Fault detection;
- Algorithm design and analysis;
- Semantics;
27.Software Reliability Analysis of NASA Space Flight Software: A Practical Experience

机译：NASA太空飞行软件的软件可靠性分析：实践经验
- 作者：Harish Sukhwani;Javier Alonso;Kishor S. Trivedi;Issac Mcginnis
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Software;
- Software reliability;
- Hardware;
- Space missions;
- NASA;
- Testing;
28.TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach

机译：TLS密码套件建议：组合覆盖率测量方法
- 作者：Dimitris E. Simos;Kristoffer Kleine;Artemios G. Voyiatzis;Rick Kuhn;Raghu Kacker
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Ciphers;
- Protocols;
- Encryption;
- Testing;
- Software;
29.A Specification-Based Approach to the Testing of Java Memory Bloat

机译：基于规范的Java内存膨胀测试方法
- 作者：Ju Qian;Xiaoyu Zhou;Wanchun Dang;Ziyuan Wang
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Memory management;
- Testing;
- Specification languages;
- Runtime;
- Java;
- Weaving;
- Engines;
30.Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study

机译：优先组合测试的测试效果评估：一个案例研究
- 作者：Eun-Hye Choi;Shunya Kawabata;Osamu Mizuno;Cyrille Artho;Takashi Kitamura
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Fault detection;
- Testing;
- Correlation;
- Frequency measurement;
- Electronic mail;
- Optical wavelength conversion;
31.A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution

机译：一种通过图变换和符号执行修剪不可行路径的方法
- 作者：Romain Aissat;Marie-Claude Gaudel;Frédéric Voisin;Burkhart Wolff
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Reactive power;
- Testing;
- Prototypes;
- Algorithm design and analysis;
- Concrete;
- Indexes;
- Limiting;
32.The Bugs Framework (BF): A Structured Approach to Express Bugs

机译：错误框架（BF）：表达错误的结构化方法
- 作者：Irena Bojanova;Paul E. Black;Yaacov Yesha;Yan Wu
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Computer bugs;
- Software;
- Buffer overflows;
- Taxonomy;
- Security;
- NIST;
- Materials;
- elements;
- and compounds;
33.Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports

机译：在本地化错误报告的相关文件中使用单词的分布式表示形式
- 作者：Yukiya Uneno;Osamu Mizuno;Eun-Hye Choi
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Computer bugs;
- Java;
- Feature extraction;
- Computational modeling;
- Natural language processing;
- History;
- Software;
34.MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL

机译：MedicationChecker：使用EventB2SQL开发经过正式验证的Android应用程序
- 作者：Tim Wahls
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Drugs;
- Databases;
- Safety;
- Androids;
- Humanoid robots;
- Context;
- Context modeling;
35.A Tool Supported Testing Method for Reducing Cost and Improving Quality

机译：一种工具支持的降低成本，提高质量的测试方法
- 作者：Shaoying Liu
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Conferences;
- Software quality;
- Software reliability;
- Security;
- Databases;
- Specification languages;
36.D-Cube: Tool for Dynamic Design Discovery from Multi-threaded Applications Using PIN

机译：D-Cube：使用PIN从多线程应用程序中进行动态设计发现的工具
- 作者：Srijoni Majumdar;Nachiketa Chatterjee;Shila Rani Sahoo;Partha Pratim Das
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Concurrent computing;
- Feature extraction;
- Instruction sets;
- Benchmark testing;
- Pins;
- Data models;
- Instruments;
37.Network Performance Bottleneck Detection and Maximum Network Throughput Estimation for Datacenter Applications

机译：数据中心应用的网络性能瓶颈检测和最大网络吞吐量估计
- 作者：Patrick Ngai;Sung-Jer Lu;Yu-Sung Wu;Wei-Sheng Lim;Tung-Yueh Lin
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Throughput;
- Downlink;
- Bandwidth;
- Distortion;
- Uplink;
- Estimation;
- Telecommunication traffic;
38.Applying Combinatorial Testing in Industrial Settings

机译：在工业环境中应用组合测试
- 作者：Xuelin Li;Ruizhi Gao;W. Eric Wong;Chunhui Yang;Dong Li
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Software systems;
- Industries;
- Computer bugs;
- Software testing;
- Standards;
39.Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection

机译：使用模型克隆检测进行模型驱动的软件体系结构质量评估
- 作者：Matthew Stepha;James R. Cordy
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Cloning;
- Unified modeling language;
- Analytical models;
- Computer architecture;
- Software architecture;
- Adaptation models;
- Detectors;
40.User-Perceived Source Code Quality Estimation Based on Static Analysis Metrics

机译：基于静态分析指标的用户感知的源代码质量估计
- 作者：Michail Papamichail;Themistoklis Diamantopoulos;Andreas Symeonidis
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Estimation;
- Software quality;
- Software metrics;
- Computational modeling;
41.Empirical Evaluation of Cross-Release Effort-Aware Defect Prediction Models

机译：跨发行版努力意识缺陷预测模型的经验评估
- 作者：Kwabena Ebo Bennin;Koji Toda;Yasutaka Kamei;Jacky Keung;Akito Monden;Naoyasu Ubayashi
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Predictive models;
- Testing;
- Data models;
- Measurement;
- Computational modeling;
- Software;
- Computer science;
42.Profiling Android Vulnerabilities

机译：分析Android漏洞
- 作者：Matthieu Jimenez;Mike Papadakis;Tegawendé F. Bissyandé;Jacques Klein
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Androids;
- Humanoid robots;
- Complexity theory;
- Databases;
- Computer bugs;
- Smart phones;
- Operating systems;
43.Testing Security Requirements with Non-experts: Approaches and Empirical Investigations

机译：与非专家一起测试安全性需求：方法和实证研究
- 作者：Bernhard Peischl;Michael Felderer;Armin Beer
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Conferences;
- Software quality;
- Software reliability;
- Security;
44.Improving Protocol Passive Testing through 'Gedanken' Experiments with Finite State Machines

机译：通过有限状态机的“ Gedanken”实验改善协议被动测试
- 作者：Natalia Kushik;Jorge López;Ana Cavalli;Nina Yevtushenko
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Testing;
- Protocols;
- Monitoring;
- Automata;
- Context;
- Software;
45.How Does the Dependence between Inspectors Impact Capture-Recapture Estimation? An Empirical Study

机译：检查员之间的依存关系如何影响捕获-重新捕获估计？实证研究
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
46.Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification

机译：使用贝叶斯分类在大型软件系统中将错误自动定位到故障组件
- 作者：Leif Jonsson;David Broman;Måns Magnusson;Kristian Sandahl;Mattias Villani;Sigrid Eldh
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Computer bugs;
- Uncertainty;
- Predictive models;
- Bayes methods;
- Organizations;
- Computational modeling;
- Software;
47.Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability

机译：走向更准确的故障定位：一种基于特征选择和分支执行概率的方法
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
48.Resource/Schedule/Content Test Planning Model

机译：资源/时间表/内容测试计划模型
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
49.Keynote Speeches

机译：主题演讲
- 作者：Thomas Zimmermann
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- software reliability;
- cryptography;
- software quality;
50.Grey Relational Analysis Based k Nearest Neighbor Missing Data Imputation for Software Quality Datasets

机译：基于灰色关联分析的软件质量数据集的k最近邻缺失数据插补
- 作者：Jianglin Huang;Hongyi Sun
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Software quality;
- Nickel;
- Estimation;
- Mars;
- Data models;
- Measurement;
- Software engineering;
51.Which Change Sets in Git Repositories Are Related?

机译：Git存储库中的哪些变更集相关？
- 作者：Jasmin Ramadani;Stefan Wagner
- 会议名称：《IEEE International Conference on Software Quality, Reliability and Security》 | 2016年
- Data mining;
- Software;
- Control systems;
- History;
- Couplings;
- Computer bugs;
- Time measurement;