"Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured ..."

Sören Tempel, Vladimir Herdt, Rolf Drechsler (2022)

Details and statistics

DOI: 10.5281/ZENODO.6802198

access: open

type: Data or Artifact

metadata version: 2024-06-18