STARK: A Software Tool for the Analysis of Robustness in the unKnown environment

Castiglioni, Valentina; Loreti, Michele; Tini, Simone

doi:10.4230/artifacts.22451

Artifact

STARK: A Software Tool for the Analysis of Robustness in the unKnown environment Software

Authors Valentina Castiglioni , Michele Loreti , Simone Tini

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2024-11-28

Document Identifiers

DOI: 10.4230/artifacts.22451
URN: urn:nbn:de:0030-drops-224517

Author Details

Valentina Castiglioni

Eindhoven University of Technology, The Netherlands

Michele Loreti

University of Camerino, Italy

Simone Tini

University of Insubria, Italy

Content

Software: https://github.com/quasylab/jspear/tree/working
archived version

Version/Status

Content created at: 2022-04-01
Status: Active (at the time of publication 2024-11-28)

Cite As Get BibTex

Valentina Castiglioni, Michele Loreti, Simone Tini. STARK: A Software Tool for the Analysis of Robustness in the unKnown environment (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/artifacts.22451

Subject Classification

Programming Languages

Java
ANTLR
Python

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail