Author Info
Name
Affiliation
Papers
ROBERT BRUCE FINDLER
Northwestern Univ, Evanston, IL 60208 USA
2
Collaborators
Citations 
PageRank 
6
5
0.76
Referers 
Referees 
References 
12
37
15
Title
Citations
PageRank
Year
Sound and Complete Concolic Testing for Higher-order Functions00.342021
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.50.422015