Using MATCON to generate CASE tools that guide deployment of pre-packaged applicationsElad FeinNatalia Razinkovet al.2011ICSE 2011
Code-motion for API migration: Fixing SQL injection vulnerabilities in JavaAharon AbadiYishai A. Feldmanet al.2011ICSE 2011