Amit Paradkar

Publications

1.5K

Citations

H-Index

1994

Active since

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

North Carolina State University

Carnegie Mellon University

Institute of Software

Amit Paradkar is an author at IBM Research - Thomas J. Watson Research Center specializing in software analysis, software engineering, and engineering.

ORCID

Top concepts

EngineeringSoftware AnalysisSoftware EngineeringSoftware TestingComputer ScienceProgram AnalysisFormal MethodsFormal VerificationSoftware DesignVerification

Publications per year

1994–2018

Publications

Finding bugs in dynamic web applications

Shay Artzi, Adam Kieżun, Julian Dolby et al. · 2008 · 158 citations

Software Maintenance, Engineering, Software Engineering +18

Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking

Shay Artzi, Adam Kieżun, Julian Dolby et al. · IEEE Transactions on Software Engineering · 2010 · 155 citations · Full text

Software Maintenance, Engineering, Verification +21

Automated extraction of security policies from natural-language software documents

Xusheng Xiao, Amit Paradkar, Suresh Thummalapenta et al. · 2012 · 143 citations

Engineering, Information Security, Software Engineering +22

Inferring method specifications from natural language API descriptions

Rahul Pandita, Xusheng Xiao, Hao Zhong et al. · International Conference on Software Engineering · 2012 · 114 citations

Software Maintenance, Engineering, Verification +25

Innovation in start-ups: Ideas filling the void or ideas devoid of resources and capabilities?

Amit Paradkar, John Knight, Paul Hansen · Technovation · 2015 · 107 citations

Innovation Management, Entrepreneurial Innovation, Innovation Study +10

Rows per page

1–5 of 31