Author Info
Name
Affiliation
Papers
VALDIVINO ALEXANDRE DE SANTIAGO, JÚNIOR
Instituto Nacional de Pesquisas Espaciais, São José dos Campos, São Paulo, Brazil
1
Collaborators
Citations 
PageRank 
2
1
0.37
Referers 
Referees 
References 
4
0
0
Title
Citations
PageRank
Year
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples10.372019