Author Info
Name
Affiliation
Papers
EDUARDO ROHDE ERAS
INPE, BR-1758 Sao Jose Dos Campos, SP, Brazil
2
Collaborators
Citations 
PageRank 
5
2
0.74
Referers 
Referees 
References 
7
41
15
Title
Citations
PageRank
Year
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples10.372019
Towards A Wide Acceptance Of Formal Methods To The Design Of Safety Critical Software: An Approach Based On Uml And Model Checking10.372015