Back to Results
First PageMeta Content
Theoretical computer science / SQL injection / SQL / Hampi / Context-free grammar / String / Constraint programming / Boolean satisfiability problem / Formal grammar / Formal languages / Computing / Software engineering


HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA
Add to Reading List

Document Date: 2014-01-03 23:24:44

Open Document

File Size: 386,77 KB

Share Result on Facebook

City

New York / /

Company

IBM / ACM Inc. / MySQL / /

Country

United States / /

Currency

PHP / USD / /

/

Facility

Penn Plaza / Massachusetts Institute of Technology SHAY ARTZI / University of Virginia MICHAEL D. ERNST / Women’s Hospital / University of Washington Many / /

/

IndustryTerm

maintainable tools / Web-application vulnerabilities / Web applications / systematic-testing tool / Web application / static analysis tool / above algorithm / software-security applications / verification applications / maintainable software reliability tools / dynamic analysis tool / automated analysis tool / vulnerability-scanning tools / valid solution / automated testing applications / automated testing tools / search space / /

Organization

Harvard Medical School / Women’s Hospital / Massachusetts Institute of Technology / University of Washington Many / University of Virginia / Stanford University / /

Person

SHAY ARTZI / PIETER HOOIMEIJER / Washington Many / PHILIP J. GUO / VIJAY GANESH / Emmi / ADAM KIEZUN / MICHAEL D. ERNST / Devdatta Akhave / /

/

Position

General / Corresponding author / Professor / programmer / /

Product

Klee / Ardilla / SQL INJECTION SQL injections / SQL injection / /

ProgrammingLanguage

Java / Yacc / C / HTML / Perl / SQL / PHP / /

ProvinceOrState

Massachusetts / New York / /

Technology

above algorithm / PHP / API / Perl / HTML / Java / ASCII / /

URL

http /

SocialTag