• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 51 matches

• 2018
• 
  Yan Zhu, Ruyun Yu, Yao Qin, Di Ma, William Cheng-Chung Chu:
  Provably Secure Cryptographic ABAC System to Enhance Reliability and Privacy Using Real-Time Token and Dynamic Policy. QRS 2018: 277-288
• 
  Johannes Bräuer, Reinhold Plösch, Christian Körner, Matthias Saft:
  On the Suitability of a Portfolio-Based Design Improvement Approach. QRS 2018: 249-256
• 
  Frederico Cerveira, Imre Kocsis, Raul Barbosa, Henrique Madeira, András Pataricza:
  Exploratory Data Analysis of Fault Injection Campaigns. QRS 2018: 191-202
• 
  Shu-Hao Chang, Sanoop Mallissery, Chih-Hao Hsieh, Yu-Sung Wu:
  Hypervisor-Based Sensitive Data Leakage Detector. QRS 2018: 155-162
• 
  Nana Chang, Linzhang Wang, Yu Pei, Subrota K. Mondal, Xuandong Li:
  Change-Based Test Script Maintenance for Android Apps. QRS 2018: 215-225
• 
  Celia Chen, Lin Shi, Michael Shoga, Qing Wang, Barry W. Boehm:
  How Do Defects Hurt Qualities? An Empirical Study on Characterizing a Software Maintainability Ontology in Open Source Software. QRS 2018: 226-237
• 
  Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma:
  Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. QRS 2018: 313-324
• 
  Arpit Christi, Alex Groce:
  Target Selection for Test-Based Resource Adaptation. QRS 2018: 458-469
• 
  Caesar Jude Clemente, Fehmi Jaafar, Yasir Malik:
  Is Predicting Software Security Bugs Using Deep Learning Better Than the Traditional Machine Learning Algorithms? QRS 2018: 95-102
• 
  Byron DeVries, Betty H. C. Cheng:
  Automatic Detection of Feature Interactions Using Symbolic Analysis and Evolutionary Computation. QRS 2018: 257-268
• 
  Randa Elamin, Rasha Osman:
  Implementing Traceability Repositories as Graph Databases for Software Quality Improvement. QRS 2018: 269-276
• 
  Sara Ericsson, Eduard Enoiu:
  Combinatorial Modeling and Test Case Generation for Industrial Control Software Using ACTS. QRS 2018: 414-425
• 
  Xinyue Feng, Qiusong Yang, Lin Shi, Qing Wang:
  BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel. QRS 2018: 13-24
• 
  Daniel Flemström, Eduard Enoiu, Wasif Afzal, Daniel Sundmark, Thomas Gustafsson, Avenir Kobetski:
  From Natural Language Requirements to Passive Test Cases Using Guarded Assertions. QRS 2018: 470-481
• 
  Golnaz Gharachorlu, Nick Sumner:
  Avoiding the Familiar to Speed Up Test Case Reduction. QRS 2018: 426-437
• 
  Naoures Ghrairi, Segla Kpodjedo, Amine Barrak, Fábio Petrillo, Foutse Khomh:
  The State of Practice on Virtual Reality (VR) Applications: An Exploratory Study on Github and Stack Overflow. QRS 2018: 356-366
• 
  Loreto Gonzalez-Hernandez, Birgitta Lindström, Jeff Offutt, Sten F. Andler, Pasqualina Potena, Markus Bohlin:
  Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets. QRS 2018: 446-457
• 
  Katerina Goseva-Popstojanova, Jacob Tyo:
  Identification of Security Related Bug Reports via Text Mining Using Supervised and Unsupervised Classification. QRS 2018: 344-355
• 
  Mark Grechanik, Chi Wu Mao, Ankush Baisal, David Rosenblum, B. M. Mainul Hossain:
  Differencing Graphical User Interfaces. QRS 2018: 203-214
• 
  Miguel Guerra, Benjamin Taubmann, Hans P. Reiser, Sileshi Demesie Yalew, Miguel Correia:
  Introspection for ARM TrustZone with the ITZ Library. QRS 2018: 123-134
• 
  Yun Guo, Nan Li, Jeff Offutt, Amihai Motro:
  Automatically Repairing SQL Faults. QRS 2018: 500-511
• 
  Wafa Hasanain, Yvan Labiche, Sigrid Eldh:
  An Analysis of Complex Industrial Test Code Using Clone Analysis. QRS 2018: 482-489
• 
  Jun Inoue, Fumio Kanehiro, Mitsuharu Morisawa, Akira Mori:
  Detecting Errors in a Humanoid Robot. QRS 2018: 163-170
• 
  Md. Shariful Islam, Korosh Koochekian Sabor, Abdelaziz Trabelsi, Wahab Hamou-Lhadj, Luay Alawneh:
  MASKED: A MapReduce Solution for the Kappa-Pruned Ensemble-Based Anomaly Detection System. QRS 2018: 25-34
• 
  Samer Khamaiseh, Patrick Chapman, Dianxiang Xu:
  Model-Based Testing of Obligatory ABAC Systems. QRS 2018: 405-413
• 
  Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao:
  Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach. QRS 2018: 67-74
• 
  Yongjian Li, Jialun Cao, Kaiqiang Duan:
  An Automatic Parameterized Verification of FLASH Cache Coherence Protocol. QRS 2018: 47-58
• 
  Atif Mashkoor, Alexander Egyed:
  Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods. QRS 2018: 75-82
• 
  Isnaldo Francisco De Melo Jr., Abderrahmane Benbachir, Michel R. Dagenais:
  Performance Analysis Using Automatic Grouping. QRS 2018: 381-387
• 
  Kai Mindermann, Philipp Keck, Stefan Wagner:
  How Usable Are Rust Cryptography APIs? QRS 2018: 143-154

skipping 21 more matches