Deploying TESTAR to Enable Remote Testing in an Industrial CI Pipeline: A Case-Based Evaluation

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: Fernando Pastor Ricós, Pekka Aho, Tanja E. J. Vos, Ismael Torres Boigues, Ernesto Calás Blasco, Héctor Martínez Martínez

Journal title: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, ISoLA 2020, Lecture Notes in Computer Science

Journal publisher: Universitat Politècnica de València

Published year: 2020