V-Star: Learning Visibly Pushdown Grammars from Program Inputs

Xiaodong Jia, Gang Tan

Accurate description of program inputs remains a critical challenge in the field of programming languages. Active learning, as a well-established field, achieves exact learning for…