37 citations · 116 across the 18 of their papers we have counts for
3 papers · 1 filter
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete
Laura Bozzelli, Angelo Montanari, Adriano Peron +1
The choice of the right trade-off between expressiveness and complexity is the main issue in interval temporal logic. In their seminal paper, Halpern and Shoham showed that the sat…
Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference
Anna Corazza, Sergio Di Martino, Adriano Peron +1
In the context of End-to-End testing of web applications, automated exploration techniques (a.k.a. crawling) are widely used to infer state-based models of the site under test. The…
Asynchronous Extensions of HyperLTL
Laura Bozzelli, Adriano Peron, Cesar Sanchez
Hyperproperties are a modern specification paradigm that extends trace properties to express properties of sets of traces. Temporal logics for hyperproperties studied in the litera…