Towards Deriving Test Sequences by Model Checking
Análise, Verificação, e Síntese de Segmentos de Via de uma Malha Metroviária
Formal Verification and Synthesis for an Air Traffic Management System
A Generalized Model-based Test Generation Method
Exponentially more Succinct Test Suites
A New Timed Discretization Method for Automatic Test Generation for Timed Systems
IC Technical Reports 2009
IC Technical Reports 2014
IC Technical Reports 2013
IC Technical Reports 2008
IC Technical Reports 1999
Electronic Notes in Theoretical Computer Science
Arnaldo Vieira Moura
Adenilso da Silva Simão
José Carlos Maldonado
Jorge Rady de Almeida Jr.
João Batista de Camargo Jr.
A. MOURA