164 citations · 243 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 1 cited
Runtime Model Based Approach to Smart Home System Development
Kaidong Wu, Xiao He, Xing Chen +1
When developing smart home systems, developers integrate and compose smart devices and software applications. Because of their diversity and heterogeneity, developers usually encou…
cs.SE2017★ 164 cited
Identifying Patch Correctness in Test-Based Program Repair
Yingfei Xiong, Xinyuan Liu, Muhan Zeng +2
Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing…