@techreport{instance1589, title = {{On the State of the Art in Requirements-based Validation and Test of Software}}, author = {Stefan Berner and Martin Glinz and Johannes Ryser}, year = {1998}, number = {IFI-2011.0011}, institution = {Institut f{\"u}r Informatik, Universit{\"a}t Z{\"u}rich}, month = {03}, Date-Added = {2026-08-02 22:38:36}, Date-Modified = {2026-08-03 07:32:24} }