1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2023
App Review Driven Collaborative Bug Finding
Xunzhu Tang, Haoye Tian, Pingfan Kong +3
Software development teams generally welcome any effort to expose bugs in their code base. In this work, we build on the hypothesis that mobile apps from the same category (e.g., t…
cs.SE2016★ 1 cited
Towards Concolic Testing for Hybrid Systems
Pingfan Kong, Yi Li, Xiaohong Chen +3
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate w…