There is a newer version of the record available.

Published July 5, 2023 | Version v1
Software Open

MODELS'23 -- Automatic Security-Flaw Detection – Replication and Comparison -- Artifact

  • 1. Hamburg University of Technology
  • 2. DFKI GmbH

Description

This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detection – Replication and Comparison”. Documentation is included in the archive.

Files

MODELS'23 -- Automatic Security-Flaw Detection – Replication and Comparison -- Artifacts.zip