Sampling of Shape Expressions with ShapEx

In this paper we present SHAPEx, a tool that generates random behaviors from shape expressions, a formal specification language for describing sophisticated temporal behaviors of CPS. The tool samples a random behavior in two steps: (1) it first explores the space of qualitative parameterized shapes...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) S. 118 - 125
Hauptverfasser:	Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 20.11.2021
Schlagworte:	Automata Behavioral sciences hit-and-run Libraries sampling Shape shape expressions Space exploration Systematics testing Visualization
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!