Author Info
Name
Affiliation
Papers
ANA CARVALHO
Univ Fed Pernambuco, NTI, BR-50670901 Recife, PE, Brazil
2
Collaborators
Citations 
PageRank 
6
9
0.98
Referers 
Referees 
References 
13
55
19
Title
Citations
PageRank
Year
NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP70.602015
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.20.392014