research
∙
05/14/2020
Automated Requirements-Based Testing of Black-Box Reactive Systems
We present a new approach to conformance testing of black-box reactive s...
share
research
∙
04/27/2018
Consistency Checking of Functional Requirements
Requirements are informal and semi-formal descriptions of the expected b...
research
∙
12/12/2017
