QRS C

49 papers

YearTitle / Authors
20162016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016
2016A Faceted Classification Scheme for Change-Based Industrial Code Review Processes.
Tobias Baum, Olga Liskin, Kai Niklas, Kurt Schneider
2016A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution.
Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
2016A Model to Estimate First-Order Mutation Coverage from Higher-Order Mutation Coverage.
Ali Parsai, Alessandro Murgia, Serge Demeyer
2016A Specification-Based Approach to the Testing of Java Memory Bloat.
Ju Qian, Xiaoyu Zhou, Wanchun Dang, Ziyuan Wang
2016A Tool Supported Testing Method for Reducing Cost and Improving Quality.
Shaoying Liu
2016Applying Combinatorial Testing in Industrial Settings.
Xue-Lin Li, Ruizhi Gao, W. Eric Wong, Chunhui Yang, Dong Li
2016Automatic Invariant Synthesis for Arrays in Simple Programs.
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
2016Automatic 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
2016Correlation between the Distribution of Software Bugs and Network Motifs.
Shaoxiong Zhang, Jun Ai, Xue-Lin Li
2016D-Cube: Tool for Dynamic Design Discovery from Multi-threaded Applications Using PIN.
Srijoni Majumdar, Nachiketa Chatterjee, Shila Rani Sahoo, Partha Pratim Das
2016DFL: Dual-Service Fault Localization.
Chung Man Tang, Jacky Keung, Yuen-Tak Yu, W. K. Chan
2016Detecting and Preventing Program Inconsistencies under Database Schema Evolution.
Loup Meurice, Csaba Nagy, Anthony Cleve
2016Empirical Evaluation of Cross-Release Effort-Aware Defect Prediction Models.
Kwabena Ebo Bennin, Koji Toda, Yasutaka Kamei, Jacky Keung, Akito Monden, Naoyasu Ubayashi
2016Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.
Chenglong Sun, Zhenyu Zhang, Bo Jiang, W. K. Chan
2016Firewalls for the Web 2.0.
René Rietz, Hartmut König, Steffen Ullrich, Benjamin Stritter
2016Grey Relational Analysis Based k Nearest Neighbor Missing Data Imputation for Software Quality Datasets.
Jianglin Huang, Hongyi Sun
2016HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts.
Jialin Yang, Chunbai Yang, W. K. Chan
2016How Does the Dependence between Inspectors Impact Capture-Recapture Estimation? An Empirical Study.
Ou Wu
2016How Effective Is Branch-Based Combinatorial Testing? An Exploratory Study.
Huiyan Wang, Chang Xu, Jun Sui, Jian Lu
2016Hunting Killer Tasks for Cloud System through Machine Learning: A Google Cluster Case Study.
Hongyan Tang, Ying Li, Tong Jia, Zhonghai Wu
2016Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines.
Natalia Kushik, Jorge López, Ana R. Cavalli, Nina Yevtushenko
2016Leveraging 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 D. Zuck
2016MedicationChecker: Development of a Formally Verified Android Application with EventB2SQL.
Tim Wahls
2016Model-Driven Evaluation of Software Architecture Quality Using Model Clone Detection.
Matthew Stephan, James R. Cordy
2016Mutation Integration Testing.
Mark Grechanik, Gurudev Devanla
2016NOTICE: A Framework for Non-Functional Testing of Compilers.
Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé
2016Network 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
2016Precondition Calculation for Loops Iterating over Data Structures.
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
2016Profiling Android Vulnerabilities.
Matthieu Jimenez, Mike Papadakis, Tegawendé F. Bissyandé, Jacques Klein
2016Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking.
Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber
2016Quantifying the Impact of Replication on the Quality-of-Service in Cloud Databases.
Rasha Osman, Juan F. Pérez, Giuliano Casale
2016Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.
Siyuan Xu, Weikai Miao, Thomas Kunz, Tongquan Wei, Mingsong Chen
2016Resource/Schedule/Content Test Planning Model.
Pete Rotella
2016Software Reliability Analysis of NASA Space Flight Software: A Practical Experience.
Harish Sukhwani, Javier Alonso, Kishor S. Trivedi, Issac Mcginnis
2016TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach.
Dimitris E. Simos, Kristoffer Kleine, Artemios G. Voyiatzis, Rick Kuhn, Raghu Kacker
2016Test Case Prioritization Using Adaptive Random Sequence with Category-Partition-Based Distance.
Xiaofang Zhang, Xiaoyuan Xie, Tsong Yueh Chen
2016Test Effectiveness Evaluation of Prioritized Combinatorial Testing: A Case Study.
Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, Takashi Kitamura
2016Testing Security Requirements with Non-experts: Approaches and Empirical Investigations.
Bernhard Peischl, Michael Felderer, Armin Beer
2016Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions.
Bo Jiang, W. K. Chan
2016The Bugs Framework (BF): A Structured Approach to Express Bugs.
Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu
2016Thresholds 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
2016Towards More Accurate Fault Localization: An Approach Based on Feature Selection Using Branching Execution Probability.
Ang Li, Yan Lei, Xiaoguang Mao
2016Towards Understanding Interactive Debugging.
Fábio Petrillo, Zéphyrin Soh, Foutse Khomh, Marcelo Pimenta, Carla M. D. S. Freitas, Yann-Gaël Guéhéneuc
2016User-Perceived Source Code Quality Estimation Based on Static Analysis Metrics.
Michail Papamichail, Themistoklis G. Diamantopoulos, Andreas L. Symeonidis
2016Using a Distributed Representation of Words in Localizing Relevant Files for Bug Reports.
Yukiya Uneno, Osamu Mizuno, Eun-Hye Choi
2016Verifying Distributed Controllers with Local Invariants.
Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu
2016What Makes a Satisficing Bug Report?
Tommaso Dal Sasso, Andrea Mocci, Michele Lanza
2016Which Change Sets in Git Repositories Are Related?
Jasmin Ramadani, Stefan Wagner