Automated Requirements-Based Testing of Black-Box Reactive Systems

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto

Journal title: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

Journal number: 12229

Journal publisher: Springer International Publishing

Published year: 2020

Published pages: 153-169

DOI identifier: 10.1007/978-3-030-55754-6_9

ISBN: 978-3-030-55753-9