Hugo Araujo Posted on July 26, 2022 by verifiability His research interests are model based software testing/engineering, model learning and causality.