Hugo Araujo Posted on September 17, 2021, updated on September 24, 2021 by verifiability His research interests are model based software testing/engineering, model learning and causality.