"EVEREST: An Automatic Model-Based Testing Tool for Asynchronous Reactive ..."

Adilson Luiz Bonifácio, Camila Sonoda Gomes (2021)

Details and statistics

DOI: 10.5753/JSERD.2021.1094

access: open

type: Journal Article

metadata version: 2022-03-31

a service of  Schloss Dagstuhl - Leibniz Center for Informatics