• 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 17 matches

• 2021
• 
  Jin-Fu Chen, Bo Liu, Saihua Cai, Weijia Wang, Shengran Wang:
  AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism. SETTA 2021: 161-177
• 
  Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan:
  Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. SETTA 2021: 61-80
• 
  Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz:
  MC/DC Test Cases Generation Based on BDDs. SETTA 2021: 178-197
• 
  Xue-er Ding, Jun Niu, Jia Wang:
  API Usage Pattern Search Based on Model Checking. SETTA 2021: 299-319
• 
  Panhua Guo, Bohua Zhan, Xiong Xu, Shuling Wang, Wenhui Sun:
  Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization. SETTA 2021: 3-21
• 
  Ruiqi Hu, Meilun Li, Zhikun She:
  $\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations. SETTA 2021: 261-278
• 
  Teng Long, Xingtao Ren, Qing Wang, Chao Wang:
  Verifying the Correctness of Distributed Systems via Mergeable Parallelism. SETTA 2021: 122-140
• 
  Yuteng Lu, Weidi Sun, Meng Sun:
  Mutation Testing of Reinforcement Learning Systems. SETTA 2021: 143-160
• 
  Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
  A Distributed Simplex Architecture for Multi-agent Systems. SETTA 2021: 239-257
• 
  Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
  Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58
• 
  Weidi Sun, Yuteng Lu, Xiyue Zhang, Meng Sun:
  DeepGlobal: A Global Robustness Verifiable FNN Framework. SETTA 2021: 22-39
• 
  Shaozhi Wei, Ran Mo, Pu Xiong, Siyuan Zhang, Yang Zhao, Zengyang Li:
  Predicting and Monitoring Bug-Proneness at the Feature Level. SETTA 2021: 201-218
• 
  Lili Xiao, Huibiao Zhu:
  Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. SETTA 2021: 81-101
• 
  Yongjie Xu, Fu Song, Taolue Chen:
  ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. SETTA 2021: 279-298
• 
  Yue Yan, Shujuan Jiang, Shenggang Zhang, Ying Huang:
  CSFL: Fault Localization on Real Software Bugs Based on the Combination of Context and Spectrum. SETTA 2021: 219-238
• 
  Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao:
  Formal Analysis of 5G AKMA. SETTA 2021: 102-121
• 
  Shengchao Qin, Jim Woodcock, Wenhui Zhang:
  Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings. Lecture Notes in Computer Science 13071, Springer 2021, ISBN 978-3-030-91264-2 [contents]