Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020
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…
cs.LO2018
Consistency Checking of Functional Requirements
Simone Vuotto
Requirements are informal and semi-formal descriptions of the expected behavior of a system. They are usually expressed in the form of natural language sentences and checked for er…
cs.LO2017
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…