Login / Signup
SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications.
Guillaume Demarty
Fabien Maronnaud
Gabriel Le Breton
Sylvain Hallé
Published in:
WS-FM (2012)
Keyphrases
</>
web applications
state machines
application development
web services
web browser
end users
web application development
state machine
model checking
neural network
artificial intelligence
petri net
mashup
asynchronous circuits