Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
Abstract elided by the publisher.
Related papers
- A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications ECOOP 2020
- Using web corpus statistics for program analysis OOPSLA 2014
- Declaratively programming the mobile web with Mobl OOPSLA 2011
- Static Analysis for Java Servlets and JSP SAS 2006
- TAJ: effective taint analysis of web applications PLDI 2009
- Experience report: ocsigen, a web programming framework ICFP 2009
- Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652 JFP 2013
- Reachability Analysis for AWS-Based Networks CAV 2019