"program testing;program verification;Web-based application;model checking;security testing"

Model-Checking Driven Security Testing of Web-Based Applications