WeVerca: Web Applications Verification for PHP.

David Hauzar Jan Kofron

Published in: SEFM (2014)

Keyphrases

web applications
web application development
application development
web browser
model checking
open source
mashup
end users
web services
application developers
flow diagram
business applications
web based systems
dynamic content
web crawlers
database design
expert systems