![]() |
Science of Computer Programming
Journal Prestige (SJR): 0.3 ![]() Citation Impact (citeScore): 1 Number of Followers: 14 ![]() ISSN (Print) 0167-6423 - ISSN (Online) 0167-6423 Published by Elsevier ![]() |
- A Hybrid Approach to Extract Conceptual Diagram from Software Requirements
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 23 August 2024Source: Science of Computer ProgrammingAuthor(s): Shweta, Ratna Sanyal, Bibhas Ghoshal
-
- Formal Verification of Timely Knowledge Propagation in Airborne Networks
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 20 August 2024Source: Science of Computer ProgrammingAuthor(s): Saswata Paul, Chris McCarthy, Stacy Patterson, Carlos Varela
-
- MDAPW3: MDA-Based Development of Blockchain-Enabled Decentralized
Applications-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 20 August 2024Source: Science of Computer ProgrammingAuthor(s): Ali Samanipour, Omid Bushehrian, Gregorio Robles
-
- MacroSwarm: a Scala Framework for Swarm Programming
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 2 August 2024Source: Science of Computer ProgrammingAuthor(s): Gianluca Aguzzi, Mirko Viroli
-
- Automatic detection of infeasible paths in large-scale program based on
program summaries-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 2 August 2024Source: Science of Computer ProgrammingAuthor(s): Yukun Dong, Shuqi Wang, Lulu Zhang, Xiaoshan Liu, Shuai Liu
-
- Microservices simulator: An object-oriented framework for transactional
causal consistency-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 31 July 2024Source: Science of Computer ProgrammingAuthor(s): Pedro Pereira, António Rito Silva
-
- Preface for the special issue on SBFT'23: Search-based and fuzz testing -
tools-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 30 July 2024Source: Science of Computer ProgrammingAuthor(s): Alessio Gambi, Sebastiano Panichella
-
- Model independent refusal trace testing
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: January 2025Source: Science of Computer Programming, Volume 239Author(s): Maciej Gazda, Robert M. Hierons
-
- TADA: A Toolkit for Approximate Distributed Agreement
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Eduardo Lourenço da Conceição, Ana Nunes Alonso, Rui Carlos Oliveira, José Pereira
-
- ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent
reinforcement learning-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): D. Domini, F. Cavallari, G. Aguzzi, M. Viroli
-
- Hybrid Dynamical Systems Logic and Its Refinements
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 25 July 2024Source: Science of Computer ProgrammingAuthor(s): André Platzer
-
- Encoding TLA+ Proof Obligations Safely for SMT
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 23 July 2024Source: Science of Computer ProgrammingAuthor(s): Rosalie Defourné
-
- IPFS requested content location service
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: December 2024Source: Science of Computer Programming, Volume 238Author(s): Pedro Ákos Costa, João Leitão, Yannis Psaras
-
- Subsumption, correctness and relative correctness: Implications for
software testing-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 17 July 2024Source: Science of Computer ProgrammingAuthor(s): Samia AlBlwi, Imen Marsit, Besma Khaireddine, Amani Ayad, JiMeng Loh, Ali Mili
-
- Smart contract vulnerability detection using wide and deep neural network
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 10 July 2024Source: Science of Computer ProgrammingAuthor(s): Samuel Banning Osei, Zhongchen Ma, Rubing Huang
-
- Multi-objective differential evolution in the generation of adversarial
examples-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Antony Bartlett, Cynthia C.S. Liem, Annibale Panichella
-
- CRAG – A Combinatorial Testing-Based Generator of Road Geometries
for ADS Testing-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Paolo Arcaini, Ahmet Cetinkaya
-
- DPFuzz: a Fuzz Testing Tool Based on the Guidance of Defect Prediction
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 8 July 2024Source: Science of Computer ProgrammingAuthor(s): Zhanqi Cui, Haochen Jin, Xiang Chen, Rongcun Wang, Xiulei Liu
-
- Prescriptive procedure for manual code smell annotation
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 26 June 2024Source: Science of Computer ProgrammingAuthor(s): Simona Prokić, Nikola Luburić, Jelena Slivka, Aleksandar Kovačević
-
- GraphPyRec: A novel graph-based approach for fine-grained Python code
recommendation-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 18 June 2024Source: Science of Computer ProgrammingAuthor(s): Xing Zong, Shang Zheng, Haitao Zou, Hualong Yu, Shang Gao
-
- libmg:+a+Python+Library+for+Programming+Graph+Neural+Networks+in+&rft.title=Science+of+Computer+Programming&rft.issn=0167-6423&rft.date=&rft.volume=">libmg: a Python Library for Programming Graph Neural Networks in
μ
G
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 14 June 2024Source: Science of Computer ProgrammingAuthor(s): Matteo Belenchia, Flavio Corradini, Michela Quadrini, Michele Loreti
-
- 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)-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 14 June 2024Source: Science of Computer ProgrammingAuthor(s): Ying Wang, Tao Zhang, Xiapu Luo, Peng Liang
-
- Towards a framework for reliable performance evaluation in defect
prediction-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 12 June 2024Source: Science of Computer ProgrammingAuthor(s): Xutong Liu, Shiran Liu, Zhaoqiang Guo, Peng Zhang, Yibiao Yang, Huihui Liu, Hongmin Lu, Yanhui Li, Lin Chen, Yuming Zhou
-
- TR-Fuzz: A Syntax Valid Tool for Fuzzing C Compilers
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 7 June 2024Source: Science of Computer ProgrammingAuthor(s): Chi Zhang, Jinfu Chen, Saihua Cai, Wen Zhang, Rexford Nii Ayitey Sosu, Haibo Chen
-
- iGnnVD: A novel software vulnerability detection model based on integrated
graph neural networks-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 6 June 2024Source: Science of Computer ProgrammingAuthor(s): Jinfu Chen, Yemin Yin, Saihua Cai, Weijia Wang, Shengran Wang, Jiming Chen
-
- Latch: Enabling Large-scale Automated Testing on Constrained
Systems-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 6 June 2024Source: Science of Computer ProgrammingAuthor(s): Tom Lauwaerts, Stefan Marr, Christophe Scholliers
-
- BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 5 June 2024Source: Science of Computer ProgrammingAuthor(s): Mariano Politano, Valeria Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo Frias, Pablo Ponzio
-
- Parallel Program Analysis on Path Ranges
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 31 May 2024Source: Science of Computer ProgrammingAuthor(s): Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
-
- Taming Shared Mutable States of Operating Systems in Rust
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 27 May 2024Source: Science of Computer ProgrammingAuthor(s): Jaemin Hong, Sunghwan Shim, Sanguk Park, Taewoo Kim, Jungwoo Kim, Junsoo Lee, Sukyoung Ryu, Jeehoon Kang
-
- Selected papers from the 25th Brazilian Symposium on Formal Methods
– SBMF 2022-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 15 April 2024Source: Science of Computer ProgrammingAuthor(s): Lucas Lima, Vince Molnár
-
- Functional and logic programming: Selected papers of FLOPS 2022
-
Free pre-print version: Loading...Rate this result: What is this?Please help us test our new pre-print finding feature by giving the pre-print link a rating.
A 5 star rating indicates the linked pre-print has the exact same content as the published article.
Abstract: Publication date: Available online 12 April 2024Source: Science of Computer ProgrammingAuthor(s): Michael Hanus, Atsushi Igarashi
-