Modeling, Verification and Testing of Web Applications Using Model Checker.
Kei HommaSatoru IzumiKaoru TakahashiAtsushi TogashiPublished in: IEICE Trans. Inf. Syst. (2011)
Keyphrases
- web applications
- model checker
- formal verification
- model checking
- test suite
- formal methods
- temporal logic
- application development
- description language
- web services
- end users
- web browser
- formal specification
- concurrent programs
- ai planning
- web application development
- test cases
- web service composition
- specification language
- set theory
- orders of magnitude
- general purpose
- asynchronous circuits
- web development
- decision making
- artificial intelligence