Automated Verification of Web Sites Using Partial Rewriting.
María AlpuenteDemis BallisMoreno FalaschiPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- automated verification
- website
- model checking
- formal verification
- automated reasoning
- web pages
- web usability
- temporal logic
- web browser
- queries using views
- click stream
- rewriting rules
- graph theory
- internet users
- artificial intelligence
- web users
- web content
- heuristic search
- probability distribution
- expert systems
- news web sites