Rubicon: bounded verification of web applications.

Joseph P. Near Daniel Jackson

Published in: SIGSOFT FSE (2012)

Keyphrases

web applications
application development
web services
end users
web application development
model checking
web browser
business applications
application developers
database
mashup
web based systems
dynamic content
flow diagram
concurrent systems
web crawlers
formal methods
knowledge base
databases