Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Hamid Morjani
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Roland Zumkeller
Maximilian Dürr
Liangliang Shang
Cioarga, R.
Chen Ma
Endong Xun
Home
/
Author
/
ADAM KIEZUN
Author Info
Open Visualization
Name
Affiliation
Papers
ADAM KIEZUN
MIT Computer Science & AI Lab, 32 Vassar St, Cambridge, MA 02139, USA
15
Collaborators
Citations
PageRank
28
566
27.47
Referers
Referees
References
1108
416
283
Search Limit
100
1000
Publications (15 rows)
Collaborators (28 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Theory and practice of string solvers (invited talk abstract)
1
0.35
2019
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
19
0.70
2012
Network-based inference from complex proteomic mixtures using SNIPE
2
0.43
2012
HAMPI: a string solver for testing, analysis and vulnerability detection
10
0.71
2011
Refactoring using type constraints
28
1.14
2011
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
69
2.42
2010
jFuzz: A Concolic Whitebox Fuzzer for Java.
35
1.37
2009
HAMPI: a solver for string constraints
143
5.01
2009
Grammar-based whitebox fuzzing
100
4.64
2008
Finding bugs in dynamic web applications
78
4.91
2008
miRNAminer: A tool for homologous microRNA gene search
6
0.63
2008
Advanced Refactoring in the Eclipse JDT: Past, Present, and Future
12
0.67
2007
Refactoring for Parameterizing Java Classes
21
1.12
2007
Combined static and dynamic mutability analysis
9
0.88
2007
Efficiently refactoring java applications to use generic libraries
33
2.49
2005
1