51 citations · 94 across the 9 of their papers we have counts for
3 papers · 1 filter
The QBF Gallery 2023
Simone Heisinger, Luca Pulina, Martina Seidl
The QBF Gallery 2023, the last QBF evaluation event, continues the tradition to survey and document the state of the art in solving quantified Boolean formulas (QBFs). It provides…
Automated Requirements-Based Testing of Black-Box Reactive Systems
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
We present a new approach to conformance testing of black-box reactive systems. We consider system specifications written as linear temporal logic formulas to generate tests as seq…
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
Massimo Narizzano, Luca Pulina, Armando Tacchella +1
Property Specification Patterns (PSPs) have been proposed to solve recurring specification needs, to ease the formalization of requirements, and enable automated verification there…