Author Info
Name
Affiliation
Papers
PABLO ABAD
Inst Tecnol Buenos Aires, Buenos Aires, DF, Argentina
1
Collaborators
Citations 
PageRank 
9
12
0.53
Referers 
Referees 
References 
37
55
22
Title
Citations
PageRank
Year
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving120.532013