Reachability Analysis of the HTML5 Parser Specification and Its Application to Compatibility Testing.
Yasuhiko MinamideShunsuke MoriPublished in: FM (2012)
Keyphrases
- reachability analysis
- model checking
- formal verification
- markov decision processes
- formal specification
- temporal logic
- test case generation
- timed automata
- natural language processing
- test cases
- incremental algorithms
- web pages
- natural language
- information extraction
- website
- specification language
- user interface
- reinforcement learning
- high level
- search engine
- web browser
- artificial intelligence
- software testing
- dependency parsing
- state space
- expert systems