Discovering executable routine specifications from user interaction logs.
Volodymyr LenoAdriano AugustoMarlon DumasMarcello La RosaFabrizio Maria MaggiArtem PolyvyanyyPublished in: CoRR (2021)
Keyphrases
- user interaction
- formal specification
- attribute grammars
- user behavior
- control flow
- user feedback
- user studies
- specification language
- user interface
- search sessions
- user experience
- user input
- interactive segmentation
- interactive image segmentation
- log data
- log analysis
- web users
- execution traces
- written in natural language
- usage data
- context free
- data flow
- shape prior
- query language
- concurrent systems
- website
- delay insensitive
- information retrieval
- machine learning