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...

Celý popis

Podrobná bibliografie

Vydáno v:	2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) s. 118 - 125
Hlavní autoři:	Basset, Nicolas, Dang, Thao, Gigler, Felix, Mateis, Cristinel, Nickovic, Dejan
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 20.11.2021
Témata:	Automata Behavioral sciences hit-and-run Libraries sampling Shape shape expressions Space exploration Systematics testing Visualization
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!