default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 238
Volume 238, 2024
- Michael Hanus
, Atsushi Igarashi:
Functional and logic programming: Selected papers of FLOPS 2022. 103129 - Lucas Lima, Vince Molnár:
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. 103133 - Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio:
BEAPI: A tool for bounded exhaustive input generation from APIs. 103153 - Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim:
Parallel program analysis on path ranges. 103154 - Chi Zhang, Jinfu Chen, Saihua Cai, Wen Zhang, Rexford Nii Ayitey Sosu, Haibo Chen:
TR-Fuzz: A syntax valid tool for fuzzing C compilers. 103155 - 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. 103156 - Tom Lauwaerts, Stefan Marr, Christophe Scholliers:
Latch: Enabling large-scale automated testing on constrained systems. 103157 - 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. 103164 - Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti:
libmg: A Python library for programming graph neural networks in μG. 103165 - Xing Zong, Shang Zheng, Haitao Zou, Hualong Yu, Shang Gao:
GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation. 103166 - 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). 103167 - Simona Prokic, Nikola Luburic, Jelena Slivka, Aleksandar Kovacevic:
Prescriptive procedure for manual code smell annotation. 103168 - Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella:
Multi-objective differential evolution in the generation of adversarial examples. 103169 - Zhanqi Cui, Haochen Jin, Xiang Chen, Rongcun Wang, Xiulei Liu:
DPFuzz: A fuzz testing tool based on the guidance of defect prediction. 103170 - Paolo Arcaini, Ahmet Cetinkaya:
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. 103171 - Samuel Banning Osei, Zhongchen Ma, Rubing Huang:
Smart contract vulnerability detection using wide and deep neural network. 103172 - Pedro Ákos Costa, João Leitão, Yiannis Psaras:
IPFS requested content location service. 103174 - Eduardo Lourenço da Conceição, Ana Nunes Alonso, Rui Carlos Oliveira, José Pereira:
TADA: A Toolkit for Approximate Distributed Agreement. 103175 - Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli:
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning. 103176
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-07-08 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
