Judge: Effective State Abstraction for Guiding Automated Web GUI Testing

Chenxu Liu, Junheng Wang, Wei Yang, Ying Zhang, Tao Xie