Login / Signup
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