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

• 2019
• 
  Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
  Optimal context-sensitive dynamic partial order reduction with observers. ISSTA 2019: 352-362
• 
  Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
  SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA 2019: 386-389
• 
  Nadia Alshahwan, Andrea Ciancone, Mark Harman, Yue Jia, Ke Mao, Alexandru Marginean, Alexander Mols, Hila Peleg, Federica Sarro, Ilya Zorin:
  Some challenges for software testing research (invited talk paper). ISSTA 2019: 1-3
• 
  Haipeng Cai, Ziyi Zhang, Li Li, Xiaoqin Fu:
  A large-scale study of application incompatibilities in Android. ISSTA 2019: 216-227
• 
  Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun:
  VFQL: combinational static analysis as query language. ISSTA 2019: 378-381
• 
  Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue:
  Detecting memory errors at runtime with source-level instrumentation. ISSTA 2019: 341-351
• 
  Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon:
  Search-based test and improvement of machine-learning-based anomaly detection systems. ISSTA 2019: 158-168
• 
  Christian Degott, Nataniel P. Borges Jr., Andreas Zeller:
  Learning user interface element interactions. ISSTA 2019: 296-306
• 
  Mattia Fazzini, Qi Xin, Alessandro Orso:
  Automated API-usage update for Android apps. ISSTA 2019: 204-215
• 
  Xiaoqin Fu:
  Towards scalable defense of information flow security for distributed systems. ISSTA 2019: 438-442
• 
  Alessio Gambi, Marc Müller, Gordon Fraser:
  Automatically testing self-driving cars with search-based procedural content generation. ISSTA 2019: 318-328
• 
  Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury:
  Crash-avoiding program repair. ISSTA 2019: 8-18
• 
  Ali Ghanbari, Samuel Benton, Lingming Zhang:
  Practical program repair via bytecode mutation. ISSTA 2019: 19-30
• 
  Mojdeh Golagha, Constantin Lehnhoff, Alexander Pretschner, Hermann Ilmberger:
  Failure clustering without coverage. ISSTA 2019: 134-145
• 
  Giovanni Grano:
  A new dimension of test quality: assessing and generating higher quality unit test cases. ISSTA 2019: 419-423
• 
  Jiaqi Guo, Shuyue Li, Jian-Guang Lou, Zijiang Yang, Ting Liu:
  Sara: self-replay augmented record and replay for Android in industrial cases. ISSTA 2019: 90-100
• 
  Miguel Isabel:
  Conditional dynamic partial order reduction and optimality results. ISSTA 2019: 433-437
• 
  Maria Kechagia, Xavier Devroey, Annibale Panichella, Georgios Gousios, Arie van Deursen:
  Effective and efficient API misuse detection via exception propagation and search-based testing. ISSTA 2019: 192-203
• 
  Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh:
  Theory and practice of string solvers (invited talk abstract). ISSTA 2019: 6-7
• 
  Christian Klinger, Maria Christakis, Valentin Wüstholz:
  Differentially testing soundness and precision of program analyzers. ISSTA 2019: 239-250
• 
  Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena:
  Exploiting the laws of order in smart contracts. ISSTA 2019: 363-373
• 
  Pingfan Kong, Li Li, Jun Gao, Tegawendé F. Bissyandé, Jacques Klein:
  Mining Android crash fixes in the absence of issue- and change-tracking systems. ISSTA 2019: 78-89
• 
  Patrick Kwaku Kudjo, Jinfu Chen:
  A cost-effective strategy for software vulnerability prediction based on bellwether analysis. ISSTA 2019: 424-427
• 
  Christoph Laaber:
  Continuous software performance assessment: detecting performance problems of software libraries on every build. ISSTA 2019: 410-414
• 
  Wing Lam, Patrice Godefroid, Suman Nath, Anirudh Santhiar, Suresh Thummalapenta:
  Root causing flaky tests in a large-scale industrial setting. ISSTA 2019: 101-111
• 
  Sungho Lee:
  JNI program analysis with automatically extracted C semantic summary. ISSTA 2019: 448-451
• 
  Sungho Lee, Sukyoung Ryu:
  Adlib: analyzer for mobile ad platform libraries. ISSTA 2019: 262-272
• 
  Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu Chen:
  CoCoTest: collaborative crowdsourced testing for Android applications. ISSTA 2019: 390-393
• 
  Yuying Li, Rui Hao, Yang Feng, James A. Jones, Xiaofang Zhang, Zhenyu Chen:
  CTRAS: a tool for aggregating and summarizing crowdsourced test reports. ISSTA 2019: 406-409
• 
  Xia Li, Wei Li, Yuqun Zhang, Lingming Zhang:
  DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization. ISSTA 2019: 169-180

skipping 24 more matches