Sci. Comput. Program.

Keyphrases

Publications

volume 239, 2025

volume 238, 2024

Pedro Ákos Costa, João Leitão, Yiannis Psaras
IPFS requested content location service. Sci. Comput. Program. 238 (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 (2024)
Paolo Arcaini, Ahmet Cetinkaya
CRAG - a combinatorial testing-based generator of road geometries for ADS testing. Sci. Comput. Program. 238 (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 (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 (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 (2024)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel program analysis on path ranges. Sci. Comput. Program. 238 (2024)
Michael Hanus, Atsushi Igarashi
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238 (2024)
Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
libmg: A Python library for programming graph neural networks in μG. Sci. Comput. Program. 238 (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 (2024)
Samuel Banning Osei, Zhongchen Ma, Rubing Huang
Smart contract vulnerability detection using wide and deep neural network. Sci. Comput. Program. 238 (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 (2024)
Simona Prokic, Nikola Luburic, Jelena Slivka, Aleksandar Kovacevic
Prescriptive procedure for manual code smell annotation. Sci. Comput. Program. 238 (2024)
Tom Lauwaerts, Stefan Marr, Christophe Scholliers
Latch: Enabling large-scale automated testing on constrained systems. Sci. Comput. Program. 238 (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 (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 (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 (2024)
Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella
Multi-objective differential evolution in the generation of adversarial examples. Sci. Comput. Program. 238 (2024)
Lucas Lima, Vince Molnár
Selected papers from the 25th Brazilian Symposium on Formal Methods - SBMF 2022. Sci. Comput. Program. 238 (2024)

volume 237, 2024

volume 236, 2024

volume 235, 2024