591 citations · 697 across the 15 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Towards Benchmarking GUI Compatibility Testing on Mobile Applications
Jiaming Ye, Mulong Xie, Siyuan Chen +4
GUI is a bridge connecting user and application. Existing GUI testing tasks can be categorized into two groups: functionality testing and compatibility testing. While the functiona…
cs.SE2022
DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration
Xuan Xie, Fuyuan Zhang
Deep neural networks (DNNs) are widely developed and applied in many areas, and the quality assurance of DNNs is critical. Neural network verification (NNV) aims to provide formal…