We use active automata-based learning to extract the state machine underlying the modal text editor Vim. We expose the various challenges to interface an active learning library with the text editor. Furthermore, we report on how we uncovered several issues and how they were dealt with by the (Neo)Vim developers. Finally, we reflect on the possible uses of automatically extracted finite-state machines beyond bug reports.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Learning the State Machine Behind a Modal Text Editor: The (Neo)Vim Case Study

  • Pierre Ganty

摘要

We use active automata-based learning to extract the state machine underlying the modal text editor Vim. We expose the various challenges to interface an active learning library with the text editor. Furthermore, we report on how we uncovered several issues and how they were dealt with by the (Neo)Vim developers. Finally, we reflect on the possible uses of automatically extracted finite-state machines beyond bug reports.