Keyword : Spin

Modeling, Verification and Testing of Web Applications Using Model Checker
Kei HOMMA Satoru IZUMI Kaoru TAKAHASHI Atsushi TOGASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5 ; pp. 989-999
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Software Development Methodology
Keyword: 
Web application, modeling, testing, automata, model checking, Spin, 
 Summary | Full Text:PDF