Science Of Computer Programming (Journal) 's repositories
SCICO-D-23-00377
https://zenodo.org/records/10250866/files/pixel-moo-journal-submission.zip?download=1
SCICO-D-20-00018
REST4CEP: RESTful APIs for complex event processing
SCICO-D-23-00376
DPFuzz: A fuzz testing tool based on the guidance of defect prediction
SCICO-D-23-00375
CRAG – a combinatorial testing-based generator of road geometries for ADS testing
SCICO-D-23-00353
BEAPI: A tool for bounded exhaustive input generation from APIs
SCICO-D-23-00390
Stark: A tool for the analysis of CPSs robustness
SCICO-D-23-00389
libmg: A Python library for programming graph neural networks in μG
SCICO-D-23-00392
TADA: A Toolkit for Approximate Distributed Agreement
SCICO-D-23-00391
IPFS requested content location service
SCICO-D-22-00296
Sibilla: A tool for reasoning about collective systems
SCICO-D-23-00378
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents
SCICO-D-23-00335
PX-MBT: A framework for model-based player experience testing
SCICO-D-23-00219
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data
SCICO-D-23-00210
ISTA+: Automatic test case generation and optimization for intelligent systems based on coverage analysis
SCICO-D-23-00217
TDFix: A lightweight tool for fixing deadlocks based on templates
SCICO-D-23-00395
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning
SCICO-D-22-00293
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications
SCICO_SCICO-D-22-00345
TyphonML: Tool support for hybrid polystores
SCICO-D-22-00342
The Modeling Assistant Recommender: A UML class diagram recommender system
SCICO-D-22-00332
DescribeML: A dataset description tool for machine learning
SCICO-D-22-00363
MMINT-A: A framework for model-based safety assurance
SCICO-D-22-00357
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs
SCICO-D-22-00281
FCPP to Aggregate Them All
SCICO-D-22-00339
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises
SCICO-D-22-00354
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills
SCICO-D-22-00375
AmbieGen: A search-based framework for autonomous systems testing
SCICO-D-22-00347
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis
SCICO-D-22-00341
Gamifying model-based engineering: The PapyGame tool
SCICO-D-22-00325
The Mealy-Machine Reduction Functions of Spot
SCICO-D-22-00273
yRCA: An explainable failure root cause analyser