Automated verification of pattern-based interaction invariants in Ajax applications.

Yuta Maezawa Hironori Washizaki Yoshinori Tanabe Shinichi Honiden

Published in: ASE (2013)

Keyphrases

projective invariants
automated verification
model checking
automated reasoning
formal verification
web applications
asynchronous communication
open source
web browser
web server
source code
optimal solution
user interaction
graph theory