| 2018 | 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018 |
| 2018 | A Method for Predicting Two-Variable Atomicity Violations. Zhuo Sun, Reng Zeng, Xudong He |
| 2018 | A Program Slicing-Based Bayesian Network Model for Change Impact Analysis. Ekincan Ufuktepe, Tugkan Tuglular |
| 2018 | A Security Model for Access Control in Graph-Oriented Databases. Claudia Morgado, Gisele Busichia Baioco, Tânia Basso, Regina Moraes |
| 2018 | An Analysis of Complex Industrial Test Code Using Clone Analysis. Wafa Hasanain, Yvan Labiche, Sigrid Eldh |
| 2018 | An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. Yongjian Li, Jialun Cao, Kaiqiang Duan |
| 2018 | An Empirical Study of the Impact of Code Smell on File Changes. Can Zhu, Xiaofang Zhang, Yang Feng, Lin Chen |
| 2018 | Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. Atif Mashkoor, Alexander Egyed |
| 2018 | Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. Byron DeVries, Betty H. C. Cheng |
| 2018 | Automatically Repairing SQL Faults. Yun Guo, Nan Li, Jeff Offutt, Amihai Motro |
| 2018 | Avoiding the Familiar to Speed Up Test Case Reduction. Golnaz Gharachorlu, Nick Sumner |
| 2018 | BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang |
| 2018 | Change-Based Test Script Maintenance for Android Apps. Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li |
| 2018 | Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS. Sara Ericsson, Eduard Enoiu |
| 2018 | Cross-Entropy: A New Metric for Software Defect Prediction. Xian Zhang, Kerong Ben, Jie Zeng |
| 2018 | Detecting Errors in a Humanoid Robot. Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori |
| 2018 | Differencing Graphical User Interfaces. Mark Grechanik, Chi Wu Mao, Ankush Baisal, David Rosenblum, B. M. Mainul Hossain |
| 2018 | Does Socio-Technical Congruence Have an Effect on Continuous Integration Build Failures? An Empirical Study on 10 GitHub Projects. Weiqiang Zhang, Zhenyu Chen, Bin Luo |
| 2018 | Exploratory Data Analysis of Fault Injection Campaigns. Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza |
| 2018 | From Natural Language Requirements to Passive Test Cases Using Guarded Assertions. Daniel Flemström, Eduard Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson, Avenir Kobetski |
| 2018 | Hardening Application Security Using Intel SGX. Max Plauth, Fredrik Teschke, Daniel Richter, Andreas Polze |
| 2018 | How Do Defects Hurt Qualities? An Empirical Study on Characterizing a Software Maintainability Ontology in Open Source Software. Celia Chen, Lin Shi, Michael Shoga, Qing Wang, Barry W. Boehm |
| 2018 | How Usable Are Rust Cryptography APIs? Kai Mindermann, Philipp Keck, Stefan Wagner |
| 2018 | Hypervisor-Based Sensitive Data Leakage Detector. Shu-Hao Chang, Sanoop Mallissery, Chih-Hao Hsieh, Yu-Sung Wu |
| 2018 | Identification of Security Related Bug Reports via Text Mining Using Supervised and Unsupervised Classification. Katerina Goseva-Popstojanova, Jacob Tyo |
| 2018 | Implementing Traceability Repositories as Graph Databases for Software Quality Improvement. Randa Elamin, Rasha Osman |
| 2018 | Introspection for ARM TrustZone with the ITZ Library. Miguel Guerra, Benjamin Taubmann, Hans P. Reiser, Sileshi Demesie Yalew, Miguel Correia |
| 2018 | Is Predicting Software Security Bugs Using Deep Learning Better Than the Traditional Machine Learning Algorithms? Caesar Jude Clemente, Fehmi Jaafar, Yasir Malik |
| 2018 | MASKED: A MapReduce Solution for the Kappa-Pruned Ensemble-Based Anomaly Detection System. Md. Shariful Islam, Korosh Koochekian Sabor, Abdelaziz Trabelsi, Wahab Hamou-Lhadj, Luay Alawneh |
| 2018 | Machine Learning to Evaluate Evolvability Defects: Code Metrics Thresholds for a Given Context. Naohiko Tsuda, Hironori Washizaki, Yoshiaki Fukazawa, Yuichiro Yasuda, Shunsuke Sugimura |
| 2018 | Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma |
| 2018 | MisconfDoctor: Diagnosing Misconfiguration via Log-Based Configuration Testing. Teng Wang, Xiaodong Liu, Shanshan Li, Xiangke Liao, Wang Li, Qing Liao |
| 2018 | Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens |
| 2018 | Model-Based Testing of Obligatory ABAC Systems. Samer Khamaiseh, Patrick Chapman, Dianxiang Xu |
| 2018 | Mutation Testing for Physical Computing. Qianqian Zhu, Andy Zaidman |
| 2018 | On the Suitability of a Portfolio-Based Design Improvement Approach. Johannes Bräuer, Reinhold Plösch, Christian Körner, Matthias Saft |
| 2018 | Performance Analysis Using Automatic Grouping. Isnaldo Francisco De Melo Jr., Abderrahmane Benbachir, Michel R. Dagenais |
| 2018 | Probabilistic Sampling-Based Testing for Accelerated Reliability Assessment. Roberto Pietrantuono, Stefano Russo |
| 2018 | Provably Secure Cryptographic ABAC System to Enhance Reliability and Privacy Using Real-Time Token and Dynamic Policy. Yan Zhu, Ruyun Yu, Yao Qin, Di Ma, William Cheng-Chung Chu |
| 2018 | QuantCloud: A Software with Automated Parallel Python for Quantitative Finance Applications. Peng Zhang, Yuxiang Gao, Xiang Shi |
| 2018 | Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li |
| 2018 | Spiral^SRA: A Threat-Specific Security Risk Assessment Framework for the Cloud. Armstrong Nhlabatsi, Jin B. Hong, Dong Seong Kim, Rachael Fernandez, Noora Fetais, Khaled M. Khan |
| 2018 | SynEva: Evaluating ML Programs by Mirror Program Synthesis. Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2018 | TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. Rong Wang, Shaoying Liu |
| 2018 | Target Selection for Test-Based Resource Adaptation. Arpit Christi, Alex Groce |
| 2018 | The State of Practice on Virtual Reality (VR) Applications: An Exploratory Study on Github and Stack Overflow. Naoures Ghrairi, Segla Kpodjedo, Amine Barrak, Fábio Petrillo, Foutse Khomh |
| 2018 | Towards a Testing Framework with Visual Feedback for Actor-Based Systems. Hasan Sözer, Ozan Gürler, Orhan Yilmaz |
| 2018 | Using Crash Frequency Analysis to Identify Error-Prone Software Technologies in Multi-System Monitoring. Andreas Schörgenhumer, Mario Kahlhofer, Hanspeter Mössenböck, Paul Grünbacher |
| 2018 | Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets. Loreto Gonzalez-Hernandez, Birgitta Lindström, Jeff Offutt, Sten F. Andler, Pasqualina Potena, Markus Bohlin |
| 2018 | Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach. Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao |
| 2018 | Vulnerability Assessment of Web Services with Model-Based Mutation Testing. Faezeh Siavashi, Dragos Truscan, Juri Vain |