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

• 2024
• 
  Paolo Arcaini, Ahmet Cetinkaya:
  CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238: 103171 (2024)
• 
  Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella:
  Multi-objective differential evolution in the generation of adversarial examples. Sci. Comput. Program. 238: 103169 (2024)
• 
  Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
  libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238: 103165 (2024)
• 
  Jinfu Chen, Yemin Yin, Saihua Cai, Weijia Wang, Shengran Wang, Jiming Chen:
  iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks. Sci. Comput. Program. 238: 103156 (2024)
• 
  Eduardo Lourenço da Conceição, Ana Nunes Alonso, Rui Carlos Oliveira, José Pereira:
  TADA: A Toolkit for Approximate Distributed Agreement. Sci. Comput. Program. 238: 103175 (2024)
• 
  Pedro Ákos Costa, João Leitão, Yiannis Psaras:
  IPFS requested content location service. Sci. Comput. Program. 238: 103174 (2024)
• 
  Zhanqi Cui, Haochen Jin, Xiang Chen, Rongcun Wang, Xiulei Liu:
  DPFuzz: A fuzz testing tool based on the guidance of defect prediction. Sci. Comput. Program. 238: 103170 (2024)
• 
  Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
  ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning. Sci. Comput. Program. 238: 103176 (2024)
• 
  Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
  Parallel program analysis on path ranges. Sci. Comput. Program. 238: 103154 (2024)
• 
  Michael Hanus, Atsushi Igarashi:
  Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238: 103129 (2024)
• 
  Tom Lauwaerts, Stefan Marr, Christophe Scholliers:
  Latch: Enabling large-scale automated testing on constrained systems. Sci. Comput. Program. 238: 103157 (2024)
• 
  Lucas Lima, Vince Molnár:
  Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. Sci. Comput. Program. 238: 103133 (2024)
• 
  Xutong Liu, Shiran Liu, Zhaoqiang Guo, Peng Zhang, Yibiao Yang, Huihui Liu, Hongmin Lu, Yanhui Li, Lin Chen, Yuming Zhou:
  Towards a framework for reliable performance evaluation in defect prediction. Sci. Comput. Program. 238: 103164 (2024)
• 
  Samuel Banning Osei, Zhongchen Ma, Rubing Huang:
  Smart contract vulnerability detection using wide and deep neural network. Sci. Comput. Program. 238: 103172 (2024)
• 
  Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio:
  BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238: 103153 (2024)
• 
  Simona Prokic, Nikola Luburic, Jelena Slivka, Aleksandar Kovacevic:
  Prescriptive procedure for manual code smell annotation. Sci. Comput. Program. 238: 103168 (2024)
• 
  Ying Wang, Tao Zhang, Xiapu Luo, Peng Liang:
  Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track). Sci. Comput. Program. 238: 103167 (2024)
• 
  Chi Zhang, Jinfu Chen, Saihua Cai, Wen Zhang, Rexford Nii Ayitey Sosu, Haibo Chen:
  TR-Fuzz: A syntax valid tool for fuzzing C compilers. Sci. Comput. Program. 238: 103155 (2024)
• 
  Xing Zong, Shang Zheng, Haitao Zou, Hualong Yu, Shang Gao:
  GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation. Sci. Comput. Program. 238: 103166 (2024)