


default search action
QRS 2019: Sofia, Bulgaria
- 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019. IEEE 2019, ISBN 978-1-7281-3927-2
Session I-A: Fault Localization and Prediction
- Fei Wang, Jun Ai, Zhuoliang Zou:
A Cluster-Based Hybrid Feature Selection Method for Defect Prediction. 1-9 - Zhou Xu, Sizhe Ye, Tao Zhang
, Zhen Xia, Shuai Pang, Yong Wang, Yutian Tang
:
MVSE: Effort-Aware Heterogeneous Defect Prediction via Multiple-View Spectral Embedding. 10-17 - Zheng Li, Yonghao Wu, Yong Liu:
An Empirical Study of Bug Isolation on the Effectiveness of Multiple Fault Localization. 18-25 - Arpit Christi, Alex Groce, Rahul Gopinath:
Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. 26-33
Session I-B: Random and Combinatorial Testing
- Konrad Fögen, Horst Lichter
:
Combinatorial Robustness Testing with Negative Test Cases. 34-45 - Hanyu Pei
, Beibei Yin, Kai-Yuan Cai, Min Xie:
A Distance-Based Dynamic Random Testing with Test Case Clustering. 46-53 - Michael Omari, Jinfu Chen, Patrick Kwaku Kudjo, Hilary Ackah-Arthur
, Rubing Huang
:
Random Border Mirror Transform: A Diversity Based Approach to an Effective and Efficient Mirror Adaptive Random Testing. 54-61 - Veysel Hatas, Sevil Sen
, John A. Clark:
Efficient Evolutionary Fuzzing for Android Application Installation Process. 62-68
Session I-C: Reliability Analysis
- Yue Chen, Xuefeng Yan, Arif Ali Khan
:
A Novel Reliability Assessment Method Based on the Effects of Components. 69-76 - Hiroyuki Okamura, Tadashi Dohi:
On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data. 77-82 - Takahiro Ushiroda, Tadashi Dohi, Yasuhiro Saito, Hiroyuki Okamura:
A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects. 83-88 - Ming Yang, Dongdong Zhao, Luyao Ye, Siwei Zhou
, Jianwen Xiang:
Reliability Analysis of Phased-Mission System in Irrelevancy Coverage Model. 89-96
Session I-D: Software Maintenance
- Srijoni Majumdar
, Shakti Papdeja, Partha Pratim Das, Soumya Kanti Ghosh:
SMARTKT: A Search Framework to Assist Program Comprehension using Smart Knowledge Transfer. 97-108 - Sebastian Hönel
, Morgan Ericsson, Welf Löwe, Anna Wingkvist
:
Importance and Aptitude of Source Code Density for Commit Classification into Maintenance Activities. 109-120 - Christos Psarras
, Themistoklis Diamantopoulos, Andreas L. Symeonidis
:
A Mechanism for Automatically Summarizing Software Functionality from Source Code. 121-130 - Celia Chen, Michael Shoga, Barry W. Boehm:
Characterizing Software Maintainability in Issue Summaries using a Fuzzy Classifier. 131-138
Session II-A: Bug Finding
- Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu:
WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. 139-150 - Zachary B. Ratliff, D. Richard Kuhn, Daniel J. Ragsdale:
Detecting Vulnerabilities in Android Applications using Event Sequences. 159-166 - Wensheng Xia, Ying Li, Tong Jia, Zhonghai Wu:
BugIdentifier: An Approach to Identifying Bugs via Log Mining for Accelerating Bug Reporting Stage. 167-175
Session II-B: Non-Functional Properties
- Leila Abdollahi Vayghan, Mohamed Aymen Saied
, Maria Toeroe, Ferhat Khendek
:
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. 176-185 - Qi Yu, Xiaoping Che, Yuxiang Yang, Liqiang Wang:
A Transfer Learning Based Interpretable User Experience Model on Small Samples. 186-196 - Yanxin Liu, Jian Dong, Decheng Zuo, Hongwei Liu:
Experimental Analysis and Comparison of Load Prediction Algorithms in Cloud Data Center. 197-203 - Tong Wang, Bixin Li:
Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements. 204-215
Session II-C: Formal Method I
- Xudong He, Dewan Mohammad Moksedul Alam:
Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. 216-227 - Li Huang, Tian Liang, Eun-Young Kang
:
Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. 228-239 - Christophe Reymann, Mohammed Foughali, Simon Lacroix:
Repeatable Decentralized Simulations for Cyber-Physical Systems. 240-247
Session III-A: Bug Reporting
- Patrick Kwaku Kudjo, Jinfu Chen, Minmin Zhou, Solomon Mensah, Rubing Huang
:
Improving the Accuracy of Vulnerability Report Classification Using Term Frequency-Inverse Gravity Moment. 248-259 - Xutong Ma
, Jiwei Yan
, Jun Yan, Jian Zhang:
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. 260-271 - Mingyang Li, Lin Shi
, Qing Wang:
Are All Duplicates Value-Neutral? An Empirical Analysis of Duplicate Issue Reports. 272-279 - Yuki Noyori, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima, Hideyuki Kanuka
, Shuhei Nojiri, Ryosuke Tsuchiya:
What are Good Discussions Within Bug Report Comments for Shortening Bug Fixing Time? 280-287
Session III-B: Empirical Studies & Security
- Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato
:
When and Why Do Software Developers Face Uncertainty? 288-299 - Qiqi Gu, Weilin Cai
, Shengcheng Yu
, Zhenyu Chen:
An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning. 300-305 - Weiqin Zou, Weiqiang Zhang, Xin Xia, Reid Holmes, Zhenyu Chen:
Branch Use in Practice: A Large-Scale Empirical Study of 2, 923 Projects on GitHub. 306-317 - Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner:
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. 318-325
Session III-C: Formal Method II
- Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda
:
Fault Detection in Timed FSM with Timeouts by SAT-Solving. 326-333 - Vassil Todorov
, Safouan Taha, Frédéric Boulanger, Armando Hernández:
Improved Invariant Generation for Industrial Software Model Checking of Time Properties. 334-341 - Muhammad Mohsin, Muhammad Umair Khan
:
UML-SR: A Novel Security Requirements Specification Language. 342-349
Session IV-A: Test Selection, Prioritization, and Generation
- Yingling Li, Junjie Wang, Yun Yang, Qing Wang:
Method-Level Test Selection for Continuous Integration with Static Dependencies and Dynamic Execution Rules. 350-361 - Alexandre Petrenko
, Florent Avellaneda
:
Learning and Adaptive Testing of Nondeterministic State Machines. 362-373 - Charitha Hettiarachchi, Hyunsook Do
:
A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System. 374-385 - Michaël Larouche, Sylvain Hallé:
Efficient Generation of Test Data with Extended Cardinality Constraints. 386-393
Sessions V-A: Testing Specialized Software
- Zhiyi Zhang, Xiaoyuan Xie:
On the Investigation of Essential Diversities for Deep Learning Testing Criteria. 394-405 - Junhua Ding, XinChuan Li, Xin-Hua Hu:
Testing Scientific Software with Invariant Relations: A Case Study. 406-417 - Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. 418-425 - Houssem Ben Braiek, Foutse Khomh:
TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs. 426-433
Session V-B: Quality and Cost
- Reem Alfayez
, Barry W. Boehm:
Technical Debt Prioritization: A Search-Based Approach. 434-445 - Wim van der Vegt
, Wim Westera:
Quality of Reusable Game Software: Empowering Developers with Automated Quality Checks. 446-452

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.