検証およびテスト生成の自動化を指向したステートマシン図によるWebナビゲーションのモデル化;検証およびテスト生成の自動化を指向したステートマシン図によるWebナビゲーションのモデル化;Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams